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

add enum-tests into run-tests.rkt

Browse Source
This commit is contained in:
Robby Findler 2013-05-14 07:25:53 -05:00
parent e86e47a968
commit 498815a225
3 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/meta/props
View File

@ -939,6 +939,7 @@ path/s is either such a string or a list of them.
"collects/redex/tests/run-tests.rkt" drdr:command-line (racket * "--examples" "--no-bitmap-gui") drdr:timeout 360
"collects/redex/tests/ryr-test.rkt" drdr:timeout 200
"collects/redex/tests/stepper-test.rkt" drdr:command-line (mzc *)
"collects/redex/tests/enum-test.rkt" drdr:command-line (mzc *)
"collects/redex/tests/term-test.rkt" drdr:command-line (mzc *)
"collects/redex/tests/test-docs-complete.rkt" drdr:command-line (raco "make" *)
"collects/redex/tests/tl-test.rkt" drdr:command-line (mzc *)

2
collects/redex/tests/enum-test.rkt
View File

@ -17,7 +17,7 @@
(define-language Rep
(r (variable variable ...)))
(try-it 1000 Rep r)
(try-it 100 Rep r)
;; Recursion test
(define-language Λc

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

@ -34,6 +34,7 @@
"check-syntax-test.rkt"
"test-docs-complete.rkt"
"tut-subst-test.rkt"
"enum-test.rkt"
"bitmap-test.rkt")
(if test-examples?
'("../examples/cbn-letrec.rkt"