suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
c7d3de435f
racket/collects/redex/tests
History
Robby Findler 06e5239441 add rule names to the derivation struct 
change the intermediate data structures built up
while building the derivation to use their own
structs (instead of vectors)
2012-10-24 12:30:40 -05:00
..
bmps-macosx adjust define-judgment-form's typesetting so that it 2012-10-09 09:06:09 -05:00
bmps-unix Adjust linux version of Redex bitmap tests 2012-10-09 09:45:52 -05:00
compiler ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
run-err-tests Big newline at EOF scan. 2012-02-29 00:28:11 -05:00
syn-err-tests allow identifiers as names, not just strings 2012-08-09 15:28:42 -05:00
bitmap-test-util.rkt add PLTJUSTSAVEFAILURES support; makes it easier to build a good 2012-05-31 23:27:02 -05:00
bitmap-test.rkt adjust define-judgment-form's typesetting so that it 2012-10-09 09:06:09 -05:00
check-syntax-test.rkt Big newline at EOF scan. 2012-02-29 00:28:11 -05:00
color-test.rkt Rackety 2012-03-05 08:12:02 -06:00
core-layout-test.rkt Rackety 2012-03-05 08:12:02 -06:00
defined-checks-test.rkt Big newline at EOF scan. 2012-02-29 00:28:11 -05:00
gen-test.rkt Additional random test generation capability for Redex. 2012-10-17 16:30:51 -05:00
hole-test.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
keyword-macros-test.rkt Fixes keyword tests 2011-07-16 18:19:22 -05:00
lw-test-util.rkt ".ss" -> ".rkt" scan done. 2011-07-02 10:37:53 -04:00
lw-test.rkt fix bug in lw struct generation 2012-01-09 20:38:51 -06:00
matcher-test.rkt remove (broken) attempt at optimization Jay suggested 2012-01-08 12:13:37 -06:00
pict-test.rkt adjusted the render-* functions so they produce .pdf if the given 2012-03-17 08:36:34 -05:00
rewrite-side-condition-test.rkt Adjusted rewrite-side-condition/check-errs so that it normalizes the internal 2011-12-28 09:46:43 -06:00
rg-test.rkt Additional random test generation capability for Redex. 2012-10-17 16:30:51 -05:00
run-tests.rkt Additional random test generation capability for Redex. 2012-10-17 16:30:51 -05:00
stepper-test.rkt Rackety 2012-03-05 08:12:02 -06:00
term-test.rkt Adds define-judgment-form form 2011-08-05 07:19:23 -05:00
test-docs-complete.rkt moved the docs-complete library into rackunit 2011-05-05 16:10:42 -05:00
test-util.rkt attempted to clean up the derivation support 2012-10-23 18:31:06 -05:00
tl-test.rkt add rule names to the derivation struct 2012-10-24 12:30:40 -05:00
tut-subst-test.rkt added a amb-based redex tutorial 2012-02-05 17:24:13 -06:00
unify-tests.rkt Additional random test generation capability for Redex. 2012-10-17 16:30:51 -05:00