From 1c075db161a0d99bdf3642d9e1ea96d2ddceb141 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Fri, 7 Oct 2005 13:09:07 +0000
Subject: [PATCH] - Added '--experimental=<int>' switch for debug version.

---
 src/switches.c | 22 ++++++++++++++++++++++
 src/switches.h |  1 +
 2 files changed, 23 insertions(+)

diff --git a/src/switches.c b/src/switches.c
index ada0167..53316be 100644
--- a/src/switches.c
+++ b/src/switches.c
@@ -69,6 +69,7 @@ switchesInit (int argc, char **argv)
 
   // Misc
   switches.switchP = 0;		// multi-purpose parameter
+  switches.experimental = 0;	// experimental stuff defaults to 0, whatever that means.
 
   // Output
   switches.output = ATTACK;	// default is to show the attacks
@@ -557,6 +558,27 @@ switcher (const int process, int index)
 	}
     }
 
+#ifdef DEBUG
+  /* ==================
+   *  Experimental options
+   *
+   *  Only with debugging version
+   */
+
+  if (detect (' ', "experimental", 1))
+    {
+      if (!process)
+	{
+	  /* unpredictable behaviour, can change throughout versions */
+	}
+      else
+	{
+	  switches.experimental = integer_argument ();
+	  return index;
+	}
+    }
+#endif
+
   /* ==================
    *  External options
    */
diff --git a/src/switches.h b/src/switches.h
index ecd5764..e1e3207 100644
--- a/src/switches.h
+++ b/src/switches.h
@@ -48,6 +48,7 @@ struct switchdata
 
   // Misc
   int switchP;			//!< A multi-purpose integer parameter, passed to the partial order reduction method selected.
+  int experimental;		//!< Experimental stuff goes here until it moves into main stuff.
 
   // Output
   int output;			//!< From enum outputs: what should be produced. Default ATTACK.