From 96e7a32bfffca79ee3dcd6a6ea26459c7f6d4883 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Fri, 6 Jan 2006 12:46:04 +0000
Subject: [PATCH] - Added '--unbounded' switch.

---
 src/switches.c | 23 ++++++++++++++++++-----
 1 file changed, 18 insertions(+), 5 deletions(-)

diff --git a/src/switches.c b/src/switches.c
index 562eda9..3080d06 100644
--- a/src/switches.c
+++ b/src/switches.c
@@ -564,9 +564,9 @@ switcher (const int process, int index, int commandline)
 	  /* 
 	   * Deprecated : use --untyped instead
 	   *
-	  helptext ("-m, --match=<int>",
-		    "type matching method [0] 0: No type-flaws allowed, 1: Allow basic type-flaws only, 2: Allow all type-flaws");
-           */
+	   helptext ("-m, --match=<int>",
+	   "type matching method [0] 0: No type-flaws allowed, 1: Allow basic type-flaws only, 2: Allow all type-flaws");
+	   */
 	}
       else
 	{
@@ -579,8 +579,7 @@ switcher (const int process, int index, int commandline)
     {
       if (!process)
 	{
-	  helptext ("-u, --untyped",
-		    "Consider all variables to be untyped");
+	  helptext ("-u, --untyped", "Consider all variables to be untyped");
 	}
       else
 	{
@@ -626,6 +625,20 @@ switcher (const int process, int index, int commandline)
 	}
     }
 
+  if (detect (' ', "unbounded", 0))
+    {
+      if (!process)
+	{
+	  helptext ("    --unbounded",
+		    "Do not bound the number of runs in the state space.");
+	}
+      else
+	{
+	  switches.runs = INT_MAX;
+	  return index;
+	}
+    }
+
   if (detect ('l', "max-length", 1))
     {
       if (!process)