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

- Code cleanup for intruder count.

Browse Source
This commit is contained in:
ccremers 2006-03-10 14:52:45 +00:00
parent af07f0cc3f
commit 74052cf226
1 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/prune_bounds.c
View File

@ -162,15 +162,19 @@ prune_bounds (const System sys)
actioncount = countIntruderActions (); actioncount = countIntruderActions ();
// Limit intruder actions in any case // Limit intruder actions in any case
if (!(switches.intruder) && actioncount > 0) if (!switches.intruder)
{ {
if (switches.output == PROOF) if (actioncount > 0)
{ {
indentPrint (); if (switches.output == PROOF)
eprintf {
("Pruned: no intruder allowed.\n", switches.maxIntruderActions); indentPrint ();
eprintf
("Pruned: no intruder allowed.\n",
switches.maxIntruderActions);
}
return 1;
} }
return 1;
} }
// Limit on intruder events count // Limit on intruder events count