suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Adds the STLC example to the test script

Browse Source
This commit is contained in:
Casey Klein 2011-04-06 11:11:43 -05:00
parent 1ad2b1b938
commit 6fc20125b0
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/redex/tests/run-tests.rkt
View File

@ -28,7 +28,8 @@
"stepper-test.ss")
(if test-bitmaps? '("bitmap-test.ss") '())
(if test-examples?
'("../examples/pi-calculus.ss"
'("../examples/stlc.rkt"
"../examples/pi-calculus.ss"
("../examples/beginner.ss" main)
"../examples/racket-machine/reduction-test.ss"
"../examples/racket-machine/verification-test.ss"