- Fixed a bug with --pp=100.

2004-07-26 08:32:01 +00:00 · 2004-07-26 08:32:01 +00:00 · 0ffa7b81ec
commit 0ffa7b81ec
parent 38a3fdb320
1 changed files with 5 additions and 1 deletions
--- a/src/modelchecker.c
+++ b/src/modelchecker.c
@ -771,7 +771,11 @@ lastActiveRun (const System sys)
  else
    {
      /* there was a previous action, start scan from there */
-      return sys->traceRun[sys->step - 1] + sys->porparam;
+#ifdef DEBUG
+      if (sys->porparam < 100)
+          return sys->traceRun[sys->step - 1] + sys->porparam;
+#endif
+      return sys->traceRun[sys->step - 1];
    }
 }