From e51b54af23278955ae3354cede1a3cb46bdc032d Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 12 Nov 2005 21:26:50 +0000
Subject: [PATCH] - FIX: Instantiation of variables is now the default. - NEW:
 -C --class switch to reset this. - NEW: max runs is now 6 by default for
 usability. For unbounded search,   use -r 0 or --maxruns=0

---
 src/switches.c | 34 ++++++++++++++++++++++++++++------
 1 file changed, 28 insertions(+), 6 deletions(-)

diff --git a/src/switches.c b/src/switches.c
index 94af867..7e64a2b 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 = INT_MAX;
+  switches.runs = 6;		// default is 6 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
 
@@ -67,7 +67,7 @@ switchesInit (int argc, char **argv)
   switches.arachneSelector = 3;	// default goal selection method
   switches.maxIntruderActions = INT_MAX;	// max number of encrypt/decrypt events
   switches.agentTypecheck = 1;	// default do check agent types
-  switches.concrete = false;	// default leaves variables in output to yield class
+  switches.concrete = true;	// default removes symbols, and makes traces concrete
 
   // Misc
   switches.switchP = 0;		// multi-purpose parameter
@@ -350,11 +350,19 @@ switcher (const int process, int index)
       if (!process)
 	{
 	  helptext ("-r,--max-runs=<int>",
-		    "maximum number of runs in the system [inf]");
+		    "maximum number of runs in the system [6]. Set to 0 for unbounded search.");
 	}
       else
 	{
-	  switches.runs = integer_argument ();
+	  int arg = integer_argument ();
+	  if (arg == 0)
+	    {
+	      switches.runs = INT_MAX;
+	    }
+	  else
+	    {
+	      switches.runs = arg;
+	    }
 	  return index;
 	}
     }
@@ -408,7 +416,7 @@ switcher (const int process, int index)
       if (!process)
 	{
 	  helptext ("-H,--human-readable",
-		    "try to make the output human-friendly (e.g. in XML). Implies --concrete.");
+		    "try to make the output human-friendly (e.g. in XML).");
 	}
       else
 	{
@@ -592,11 +600,25 @@ switcher (const int process, int index)
 	}
     }
 
+  if (detect ('C', "class", 0))
+    {
+      if (!process)
+	{
+	  helptext ("-C,--class",
+		    "generate full class (show uninstantiated variables)");
+	}
+      else
+	{
+	  switches.concrete = false;
+	  return index;
+	}
+    }
+
   if (detect (' ', "concrete", 0))
     {
       if (!process)
 	{
-	  /* maybe add after testing */
+	  /* this is now the default */
 	}
       else
 	{