diff --git a/src/switches.c b/src/switches.c index 9d51bfe..51cfcf8 100644 --- a/src/switches.c +++ b/src/switches.c @@ -65,7 +65,7 @@ switchesInit (int argc, char **argv) switches.scenarioSize = 0; // Arachne - switches.arachneSelector = 3; // default goal selection method + switches.arachneSelector = 34; // default goal selection method switches.maxIntruderActions = INT_MAX; // max number of encrypt/decrypt events switches.agentTypecheck = 1; // default do check agent types switches.concrete = true; // default removes symbols, and makes traces concrete @@ -830,7 +830,7 @@ switcher (const int process, int index, int commandline) { if (switches.expert) { - helptext (" --heuristic=", "use heuristic [3]"); + helptext (" --heuristic=", "use heuristic [34]"); } } else