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

- Added -d switch.

Browse Source
This commit is contained in:
ccremers 2004-12-09 15:27:50 +00:00
parent b56c01c422
commit 635470d976
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/arachne.c
View File

@ -1883,7 +1883,7 @@ prune_bounds ()
if (sys->output == PROOF) if (sys->output == PROOF)
{ {
indentPrint (); indentPrint ();
eprintf ("Pruned: proof tree too deep: %i (--max-depth %i switch)\n", eprintf ("Pruned: proof tree too deep: %i (-d %i switch)\n",
proofDepth, sys->switch_maxproofdepth); proofDepth, sys->switch_maxproofdepth);
} }
return 1; return 1;

2
src/main.c
View File

@ -119,7 +119,7 @@ main (int argc, char **argv)
arg_int0 ("l", "max-length", NULL, arg_int0 ("l", "max-length", NULL,
"prune traces longer than <int> events."); "prune traces longer than <int> events.");
struct arg_int *switch_prune_proof_depth = struct arg_int *switch_prune_proof_depth =
arg_int0 (NULL, "max-depth", NULL, arg_int0 ("d", "max-depth", NULL,
"prune proof deeper than <int> splits."); "prune proof deeper than <int> splits.");
struct arg_lit *switch_incremental_trace_length = struct arg_lit *switch_incremental_trace_length =
arg_lit0 (NULL, "increment-traces", arg_lit0 (NULL, "increment-traces",