Increases DrDr timeout to accommodate racket-vs-redex all-outcomes test
This commit is contained in:
parent
c24d6f94e7
commit
3f8de79ba7
|
@ -1189,6 +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/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 *)
|
||||
|
|
Loading…
Reference in New Issue
Block a user