Increases racket-vs-redex timeout even more

This commit is contained in:
Casey Klein 2010-08-29 09:13:40 -05:00
parent e1fd445fa4
commit 0221589e10

View File

@ -1189,7 +1189,7 @@ path/s is either such a string or a list of them.
"collects/redex/examples/letrec.rkt" drdr:command-line (mzc *)
"collects/redex/examples/omega.rkt" drdr:command-line (mzc *)
"collects/redex/examples/r6rs/r6rs-tests.rkt" drdr:command-line (mzc *)
"collects/redex/examples/r6rs/racket-vs-redex.rkt" drdr:timeout 120
"collects/redex/examples/r6rs/racket-vs-redex.rkt" drdr:timeout 180
"collects/redex/examples/r6rs/show-examples.rkt" drdr:command-line (mzc *)
"collects/redex/examples/racket-machine/reduction-test.rkt" drdr:command-line (mzc *)
"collects/redex/examples/racket-machine/verification-test.rkt" drdr:command-line (mzc *)