redex-test

tests for "redex"

Build status:

Authors
Documentation
Tags
Last updatedFriday, June 1st, 2018 8:48:51pm (UTC)
Ring0
ConflictsNone
Dependencies
Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit://github.com/racket/redex/?path=redex-test89fb6f66bc107b2c4faf7f8f75c3f00699ef4c5b
    Last checkedSaturday, June 23rd, 2018 5:45:29pm (UTC)
    Last editedThursday, December 4th, 2014 2:19:43am (UTC)
    Modules
    • redex/tests/unify-tests.rkt
    • redex/tests/sewpr/extend/eiswim-test.rkt
    • redex/tests/tl-language.rkt
    • redex/tests/sewpr/underspec/oo-ex.rkt
    • redex/tests/sewpr/typeset/typeset-basic.rkt
    • redex/tests/lw-test.rkt
    • redex/tests/sewpr/traces-colors.rkt
    • redex/tests/term-test.rkt
    • redex/tests/rewrite-side-condition-test.rkt
    • redex/tests/binding-performance-test.rkt
    • redex/tests/sewpr/types/types-exn-ex.rkt
    • redex/tests/sewpr/types/traces.rkt
    • redex/tests/core-layout-test.rkt
    • redex/tests/sewpr/types/1.rkt
    • redex/tests/rg-test.rkt
    • redex/tests/sewpr/typeset/iswim-language-pict.rkt
    • redex/tests/matcher-test.rkt
    • redex/tests/sewpr/space-snip.rkt
    • redex/tests/sewpr/ck/test.rkt
    • redex/tests/private/lw-test-util.rkt
    • redex/tests/sewpr/iswim/iswim-2.rkt
    • redex/tests/sewpr/types/test.rkt
    • redex/tests/hole-test.rkt
    • redex/tests/sewpr/basics/bool-complete.rkt
    • redex/tests/sewpr/ck/ck-ex.rkt
    • redex/tests/sewpr/cont/cont.rkt
    • redex/tests/sewpr/basics/test.rkt
    • redex/tests/sewpr/types/types-ex.rkt
    • redex/tests/sewpr/iswim/test-2.rkt
    • redex/tests/tl-test.rkt
    • redex/tests/sewpr/typeset/typeset-advanced.rkt
    • redex/tests/tl-metafunctions.rkt
    • redex/tests/sewpr/cont/traces.rkt
    • redex/tests/sewpr/basics/bool-ex.rkt
    • redex/tests/binding-forms-test.rkt
    • redex/tests/private/bitmap-test-util.rkt
    • redex/tests/sewpr/cont/test.rkt
    • redex/tests/color-test.rkt
    • redex/tests/dq-test.rkt
    • redex/tests/sewpr/underspec/oo.rkt
    • redex/tests/sewpr/underspec/traces.rkt
    • redex/tests/tut-subst-test.rkt
    • redex/tests/enum-test.rkt
    • redex/tests/tl-relation.rkt
    • redex/tests/tl-reduction-relation.rkt
    • redex/tests/sewpr/basics/bool-any.rkt
    • redex/tests/sewpr/iswim/iswim-ex.rkt
    • redex/tests/sewpr/underspec/test.rkt
    • redex/tests/ambiguous-test.rkt
    • redex/tests/sewpr/iswim/test.rkt
    • redex/tests/sewpr/iswim/iswim.rkt
    • redex/tests/run-tests.rkt
    • redex/tests/sewpr/ck/traces.rkt
    • redex/tests/tl-judgment-form.rkt
    • redex/tests/sewpr/types/types.rkt
    • redex/tests/sewpr/types/types-exn.rkt
    • redex/tests/sewpr/basics/traces.rkt
    • redex/tests/stepper-test.rkt
    • redex/tests/bitmap-test.rkt
    • redex/tests/gen-test.rkt
    • redex/tests/sewpr/extend/eiswim.rkt
    • redex/tests/pict-test.rkt
    • redex/tests/err-loc-test.rkt
    • redex/tests/test-docs-complete.rkt
    • redex/tests/ryr-test.rkt
    • redex/tests/sewpr/typeset/typeset-lw.rkt
    • redex/tests/sewpr/types/1-ex.rkt
    • redex/tests/sewpr/extend/traces.rkt
    • redex/tests/keyword-macros-test.rkt
    • redex/tests/mf-apply-test.rkt
    • redex/tests/sewpr/ck/iswim-test2.rkt
    • redex/tests/sewpr/iswim/traces.rkt
    • redex/tests/sewpr/basics/bool-standard.rkt
    • redex/tests/sewpr/ck/ck.rkt
    • redex/tests/sewpr/extend/test.rkt
    • redex/tests/private/test-util.rkt
    • redex/tests/check-syntax-test.rkt
    • redex/tests/sewpr/ck/iswim-test.rkt