Improve crash detection; still not working correctly.

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 338c107..0bd8683 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -338,7 +338,10 @@ void ModelChecker::handle_waitpid()
           xbt_die("Could not PTRACE_CONT");
       }
 
           xbt_die("Could not PTRACE_CONT");
       }
 

-      else if (WIFEXITED(status) || WIFSIGNALED(status)) {
+      else if (WIFSIGNALED(status)) {
+        MC_report_crash(status);
+        mc_model_checker->exit(SIMGRID_MC_EXIT_PROGRAM_CRASH);
+      } else if (WIFEXITED(status)) {

         XBT_DEBUG("Child process is over");
         this->process().terminate();
       }
         XBT_DEBUG("Child process is over");
         this->process().terminate();
       }