diff --git a/src/switches.c b/src/switches.c index af9828f..b9858f9 100644 --- a/src/switches.c +++ b/src/switches.c @@ -393,7 +393,7 @@ switcher (const int process, int index) if (!process) { helptext ("-r,--max-runs=", - "maximum number of runs in the system [5]. Set to 0 for unbounded search."); + "maximum number of runs in the system [5]. Set to 0 for unbounded search"); } else { @@ -414,8 +414,10 @@ switcher (const int process, int index) { if (!process) { - helptext ("-l,--max-length=", - "prune traces longer than events [inf]"); + /* not really needed if you prune runs + helptext ("-l,--max-length=", + "prune traces longer than events [inf]"); + */ } else { @@ -424,6 +426,20 @@ switcher (const int process, int index) } } + if (detect ('A', "all-attacks", 0)) + { + if (!process) + { + helptext ("-A,--all-attacks", + "generate all attacks instead of just one"); + } + else + { + switches.prune = 0; + return index; + } + } + if (detect (' ', "max-attacks", 1)) { if (!process) @@ -826,7 +842,7 @@ switcher (const int process, int index) else { printf ("Usage:\n"); - printf (" %s [switches] [FILE]\nSwitches:\n\n", progname); + printf (" %s [switches] [FILE]\n\nSwitches:\n", progname); switcher (0, 0); exit (0); }