From 8c397d984ead2c495f485318fa99c8ed94ccea57 Mon Sep 17 00:00:00 2001 From: ccremers Date: Thu, 14 Dec 2006 16:14:18 +0000 Subject: [PATCH] - Turned error switch into append switch. --- src/switches.c | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/src/switches.c b/src/switches.c index 1a74bee..b22d949 100644 --- a/src/switches.c +++ b/src/switches.c @@ -751,6 +751,12 @@ switcher (const int process, int index, int commandline) } else { + /* + * This is the maximum number of *output* attacks per claim, except + * when it is 0 (unlimited). Thus, for a choice N, the tool might + * still report 'at least X attacks' with X>N, but it will only + * output N attacks. + */ switches.maxAttacks = integer_argument (); return index; } @@ -764,9 +770,9 @@ switcher (const int process, int index, int commandline) helptext (" --prune=", "pruning method when an attack is found [2]"); Semantics: - 0 - Show all attacks (up to the maximum) - 1 - Show first attack - 2 - Show 'best' attack (use heuristics) + 0 - Show all attacks (up to the maximum --max-attacks) + 1 - Show first attack (only one) + 2 - Show 'best' attack (use heuristics) (only one) Thus, a value of '0' means multiple attacks are output, otherwise just one. */ @@ -1298,14 +1304,14 @@ switcher (const int process, int index, int commandline) { if (switches.expert) { - helptext (" --errors=", "error file [stderr]"); + helptext (" --errors=", "append errors to file [stderr]"); } } else { // Set output file name /* try to open */ - if (!freopen (arg_pointer, "w", stderr)) + if (!freopen (arg_pointer, "a", stderr)) { printfstderr ("Could not create error file '%s'.\n", arg_pointer);