From a9d81581333d361648c73179570f9e12b5f4de02 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 30 Mar 2014 15:56:34 -0500 Subject: [PATCH] tweak run-muts to clarify args in help --- .../redex-examples/redex/examples/benchmark/run-muts.rkt | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/run-muts.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/run-muts.rkt index 9092716e99..6e2a67129b 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/run-muts.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/run-muts.rkt @@ -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"