44dd4acb44
This adds the option to generate random terms that satisfy judgment-forms and metafunctions. Currently functionality does not include: - patterns/terms using: ellipses, in-hole/hole and relatives, side-conditions, unquotes - define-relation - redex-check integration |
||
|---|---|---|
| .. | ||
| bmps-macosx | ||
| bmps-unix | ||
| compiler | ||
| run-err-tests | ||
| syn-err-tests | ||
| bitmap-test-util.rkt | ||
| bitmap-test.rkt | ||
| check-syntax-test.rkt | ||
| color-test.rkt | ||
| core-layout-test.rkt | ||
| defined-checks-test.rkt | ||
| gen-test.rkt | ||
| hole-test.rkt | ||
| keyword-macros-test.rkt | ||
| lw-test-util.rkt | ||
| lw-test.rkt | ||
| matcher-test.rkt | ||
| pict-test.rkt | ||
| rewrite-side-condition-test.rkt | ||
| rg-test.rkt | ||
| run-tests.rkt | ||
| stepper-test.rkt | ||
| term-test.rkt | ||
| test-docs-complete.rkt | ||
| test-util.rkt | ||
| tl-test.rkt | ||
| tut-subst-test.rkt | ||
| unify-tests.rkt | ||