From 5ff71fa661c46fd4e2d9a438b922aa715ac06e36 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Tue, 27 Dec 2005 12:01:17 +0000
Subject: [PATCH] - Some cleanup. - Added 'all-atacks' switch.

---
 src/switches.c | 24 ++++++++++++++++++++----
 1 file changed, 20 insertions(+), 4 deletions(-)

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=<int>",
-		    "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=<int>",
-		    "prune traces longer than <int> events [inf]");
+	  /* not really needed if you prune runs
+	     helptext ("-l,--max-length=<int>",
+	     "prune traces longer than <int> 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);
 	}