- Added some (commented out) better reporting code.

2004-07-14 12:17:38 +00:00 · 2004-07-14 12:17:38 +00:00 · 32c4183315
commit 32c4183315
parent 82b2603263
1 changed files with 6 additions and 2 deletions
--- a/src/modelchecker.c
+++ b/src/modelchecker.c
@ -212,14 +212,18 @@ void removeIrrelevant (const System sys, const int run, Roledef rd)
    }
  /* report part */
  /*
-  rd = rdkill;
+  rd = rdkill->next;
  killclaims = 0;
  while (rd != NULL)
    {
      killclaims++;
      rd = rd->next;
    }
+  if (killclaims > 1)
+    {
      warning ("%i events stripped from run %i.", killclaims, run);
+      runPrint (rdkill->next);
+    }
  */

  /* remove after rdkill */