- Added 'agenttypecheck' switch.

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

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.