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

tweak run-muts to clarify args in help

Browse Source
This commit is contained in:
Robby Findler 2014-03-30 15:56:34 -05:00
parent 33fa2f8654
commit a9d8158133
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/run-muts.rkt
View File

@ -18,9 +18,6 @@
(command-line
#:once-each
[("-a" "--all") "Run all broken models and gather results"
(set! names
directories)]
[("-v" "--verbose") "Also report counterexamples as they are found"
(set! verbose? #t)]
[("-m" "--minutes") mins "Minutes to run each instance for"
@ -28,6 +25,8 @@
[("-n" "--num-processes") n "Number of processes to run in parallel"
(set! num-procs (string->number n))]
#:once-any
[("-a" "--all") "Run all broken models and gather results"
(set! names directories)]
[("-d" "--dir") dirname "Run tests for a single prefix"
(set! names (list dirname))]
[("-f" "--file") fname "Run tests for a single file"