- Fixed segfault when modelchecker was called on an empty scenario.

This commit is contained in:
ccremers 2005-04-22 16:03:58 +00:00
parent 5b3e177e2d
commit 18d523d8a4

View File

@ -104,8 +104,8 @@ main (int argc, char **argv)
sys->argc = argc; sys->argc = argc;
sys->argv = argv; sys->argv = argv;
process_switches(sys); process_switches (sys);
// exit (0); // TODO FIX weghalen [x][cc] // exit (0); // TODO FIX weghalen [x][cc]
/* init compiler for this system */ /* init compiler for this system */
compilerInit (sys); compilerInit (sys);
@ -410,7 +410,7 @@ timersPrint (const System sys)
{ {
eprintf ("bounded_proof"); eprintf ("bounded_proof");
if (cl_scan->timebound) if (cl_scan->timebound)
eprintf ("\ttime=%i", get_time_limit()); eprintf ("\ttime=%i", get_time_limit ());
} }
} }
} }
@ -571,7 +571,10 @@ modelCheck (const System sys)
switch (sys->engine) switch (sys->engine)
{ {
case POR_ENGINE: case POR_ENGINE:
traverse (sys); if (sys->maxruns > 0)
traverse (sys);
else
warning ("Model checking system with empty scenario.");
break; break;
case ARACHNE_ENGINE: case ARACHNE_ENGINE:
arachne (); arachne ();