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

- Removed choose warnings for now.

Browse Source
This commit is contained in:
ccremers 2004-07-14 08:33:28 +00:00
parent 81c6be826e
commit 1efa77859f
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/modelchecker.c
View File

@ -279,7 +279,10 @@ explorify (const System sys, const int run)
ridSymm = sys->runs[run].prevSymmRun; ridSymm = sys->runs[run].prevSymmRun;
if (sys->runs[ridSymm].step == 0) if (sys->runs[ridSymm].step == 0)
{ {
warning ("Symmetrical run dependency #%i (for run #%i) has not chosen yet!", ridSymm, run); /*
* dependency run was not chosen yet, so we can't do anything now
*/
// warning ("Symmetrical run dependency #%i (for run #%i) has not chosen yet!", ridSymm, run);
} }
else else
{ {