redex-test

tests for "redex"

Build status: valid license

README Download
Authors
Documentation
    Tags
    License
    Last updatedThursday, May 2nd, 2024 12:09:16pm (UTC)
    Ring0
    ConflictsNone
    Dependencies
    Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaultgit://github.com/racket/redex/?path=redex-testa2bbb6edf2374bfddfd516ca75e0e173e662fb40
      Last checkedMonday, May 6th, 2024 4:08:08am (UTC)
      Last editedThursday, December 4th, 2014 2:19:43am (UTC)
      Date addedN/A
      Modules
      • redex/tests/lw-test.rkt
      • redex/tests/binding-forms-test.rkt
      • redex/tests/sewpr/ck/traces.rkt
      • redex/tests/sewpr/extend/eiswim.rkt
      • redex/tests/tut-subst-test.rkt
      • redex/tests/sewpr/typeset/typeset-advanced.rkt
      • redex/tests/sewpr/types/traces.rkt
      • redex/tests/sewpr/iswim/test-2.rkt
      • redex/tests/sewpr/types/types-ex.rkt
      • redex/tests/sewpr/iswim/traces.rkt
      • redex/tests/dq-test.rkt
      • redex/tests/tl-test.rkt
      • redex/tests/mf-apply-test.rkt
      • redex/tests/tl-metafunctions.rkt
      • redex/tests/tl-language.rkt
      • redex/tests/sewpr/basics/bool-standard.rkt
      • redex/tests/sewpr/underspec/traces.rkt
      • redex/tests/tl-relation.rkt
      • redex/tests/sewpr/ck/iswim-test2.rkt
      • redex/tests/rg-test.rkt
      • redex/tests/sewpr/ck/ck-ex.rkt
      • redex/tests/sewpr/iswim/iswim-ex.rkt
      • redex/tests/sewpr/traces-colors.rkt
      • redex/tests/private/lw-test-util.rkt
      • redex/tests/sewpr/types/1-ex.rkt
      • redex/tests/sewpr/basics/bool-ex.rkt
      • redex/tests/sewpr/types/types-exn.rkt
      • redex/tests/private/test-util.rkt
      • redex/tests/ryr-test.rkt
      • redex/tests/unify-tests.rkt
      • redex/tests/core-layout-test.rkt
      • redex/tests/sewpr/iswim/test.rkt
      • redex/tests/sewpr/underspec/oo-ex.rkt
      • redex/tests/sewpr/extend/eiswim-test.rkt
      • redex/tests/check-syntax-test.rkt
      • redex/tests/sewpr/typeset/typeset-basic.rkt
      • redex/tests/sewpr/typeset/typeset-lw.rkt
      • redex/tests/convert-test.rkt
      • redex/tests/pict-test.rkt
      • redex/tests/tl-reduction-relation.rkt
      • redex/tests/sewpr/types/types.rkt
      • redex/tests/term-test.rkt
      • redex/tests/sewpr/types/1.rkt
      • redex/tests/keyword-macros-test.rkt
      • redex/tests/sewpr/basics/bool-complete.rkt
      • redex/tests/sewpr/cont/traces.rkt
      • redex/tests/sewpr/basics/test.rkt
      • redex/tests/sewpr/cont/test.rkt
      • redex/tests/matcher-test.rkt
      • redex/tests/sewpr/underspec/test.rkt
      • redex/tests/gen-test.rkt
      • redex/tests/sewpr/types/test.rkt
      • redex/tests/sewpr/basics/traces.rkt
      • redex/tests/private/bitmap-test-util.rkt
      • redex/tests/sewpr/ck/ck.rkt
      • redex/tests/tl-judgment-form.rkt
      • redex/tests/run-tests.rkt
      • redex/tests/sewpr/types/types-exn-ex.rkt
      • redex/tests/sewpr/cont/cont.rkt
      • redex/tests/rewrite-side-condition-test.rkt
      • redex/tests/sewpr/ck/test.rkt
      • redex/tests/ambiguous-test.rkt
      • redex/tests/sewpr/iswim/iswim.rkt
      • redex/tests/test-docs-complete.rkt
      • redex/tests/sewpr/extend/test.rkt
      • redex/tests/sewpr/ck/iswim-test.rkt
      • redex/tests/sewpr/underspec/oo.rkt
      • redex/tests/binding-performance-test.rkt
      • redex/tests/sewpr/typeset/iswim-language-pict.rkt
      • redex/tests/err-loc-test.rkt
      • redex/tests/sewpr/basics/bool-any.rkt
      • redex/tests/enum-test.rkt
      • redex/tests/sewpr/extend/traces.rkt
      • redex/tests/sewpr/space-snip.rkt
      • redex/tests/stepper-test.rkt
      • redex/tests/bitmap-test.rkt
      • redex/tests/color-test.rkt
      • redex/tests/hole-test.rkt
      • redex/tests/sewpr/iswim/iswim-2.rkt