- Changes to --max-attacks switch semantics. Maybe it should even be called max-patterns.

This commit is contained in:
ccremers 2006-11-22 15:15:12 +00:00
parent 4c469c542b
commit e28c494a18
2 changed files with 8 additions and 1 deletions

7
Changes.txt Normal file
View File

@ -0,0 +1,7 @@
Recent changes (since beta 4):
- --max-attacks is now per claim, and no longer global.

View File

@ -746,7 +746,7 @@ switcher (const int process, int index, int commandline)
if (!process) if (!process)
{ {
/* not very important /* not very important
helptext (" --max-attacks=<int>", "when not 0, maximum number of attacks [0]"); helptext (" --max-attacks=<int>", "when not 0, maximum number of attacks/states per claim [0]");
*/ */
} }
else else