From fe730716cacd73de71fe450ef61790dbf2e46c6f Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 8 Oct 2005 19:54:30 +0000
Subject: [PATCH] - Added 'agenttypecheck' switch.

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

diff --git a/src/switches.c b/src/switches.c
index 53316be..311c8ce 100644
--- a/src/switches.c
+++ b/src/switches.c
@@ -66,6 +66,7 @@ switchesInit (int argc, char **argv)
   // Arachne
   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
 
   // Misc
   switches.switchP = 0;		// multi-purpose parameter
@@ -558,6 +559,19 @@ switcher (const int process, int index)
 	}
     }
 
+  if (detect (' ', "disable-agenttypecheck", 0))
+    {
+      if (!process)
+	{
+	  /* maybe add after testing */
+	}
+      else
+	{
+	  switches.agentTypecheck = 0;
+	  return index;
+	}
+    }
+
 #ifdef DEBUG
   /* ==================
    *  Experimental options
diff --git a/src/switches.h b/src/switches.h
index e1e3207..d7febe7 100644
--- a/src/switches.h
+++ b/src/switches.h
@@ -45,6 +45,7 @@ struct switchdata
   // Arachne
   int arachneSelector;		//!< Goal selection method for Arachne engine
   int maxIntruderActions;	//!< Maximum number of intruder actions in the semitrace (encrypt/decrypt)
+  int agentTypecheck;		//!< Check type of agent variables in all matching modes
 
   // Misc
   int switchP;			//!< A multi-purpose integer parameter, passed to the partial order reduction method selected.