From aae3cd70cb35fc503138f774129bcf0097f46a56 Mon Sep 17 00:00:00 2001 From: ccremers Date: Thu, 22 Dec 2005 12:27:34 +0000 Subject: [PATCH] - Lowered default number of runs to 5. --- src/switches.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/switches.c b/src/switches.c index 8355d68..67a519b 100644 --- a/src/switches.c +++ b/src/switches.c @@ -45,7 +45,7 @@ switchesInit (int argc, char **argv) switches.prune = 2; // default pruning method switches.maxproofdepth = INT_MAX; switches.maxtracelength = INT_MAX; - switches.runs = 6; // default is 6 for usability, but -r 0 or --maxruns=0 will set it back to INT_MAX + switches.runs = 5; // default is 5 for usability, but -r 0 or --maxruns=0 will set it back to INT_MAX switches.filterClaim = NULL; // default check all claims switches.maxAttacks = 0; // no maximum default @@ -371,7 +371,7 @@ switcher (const int process, int index) if (!process) { helptext ("-r,--max-runs=", - "maximum number of runs in the system [6]. Set to 0 for unbounded search."); + "maximum number of runs in the system [5]. Set to 0 for unbounded search."); } else {