andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Changed default heuristic to 34.

Browse Source
This commit is contained in:
ccremers 2006-02-22 15:57:55 +00:00
parent 494d02a524
commit f376260512
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/switches.c
View File

@ -65,7 +65,7 @@ switchesInit (int argc, char **argv)
switches.scenarioSize = 0; switches.scenarioSize = 0;
// Arachne // 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.maxIntruderActions = INT_MAX; // max number of encrypt/decrypt events
switches.agentTypecheck = 1; // default do check agent types switches.agentTypecheck = 1; // default do check agent types
switches.concrete = true; // default removes symbols, and makes traces concrete 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) if (switches.expert)
{ {
helptext (" --heuristic=<int>", "use heuristic <int> [3]"); helptext (" --heuristic=<int>", "use heuristic <int> [34]");
} }
} }
else else