Have drdr run the missed opts tests.
original commit: 0510bb09490c7c04ee86905f905fdcd209293832
This commit is contained in:
parent
4ae271ec3a
commit
7228f10b01
|
@ -20,7 +20,7 @@
|
|||
["--missed-opt" "run the missed optimization tests" (missed-opt? #t)]
|
||||
["--benchmarks" "compile the typed benchmarks" (bench? #t)]
|
||||
["--just" path "run only this test" (single (just-one path))]
|
||||
["--nightly" "for the nightly builds" (begin (nightly? #t) (unit? #t) (opt? #t))]
|
||||
["--nightly" "for the nightly builds" (begin (nightly? #t) (unit? #t) (opt? #t) (missed-opt? #t))]
|
||||
["--all" "run all tests" (begin (unit? #t) (int? #t) (opt? #t) (missed-opt? #t) (bench? #t))]
|
||||
["--gui" "run using the gui"
|
||||
(if (gui-available?)
|
||||
|
|
Loading…
Reference in New Issue
Block a user