From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 10 Jul 2019 09:52:49 +0000 (+0200)
Subject: Improve crash detection; still not working correctly.
X-Git-Tag: v3.24~348^2~1
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ed448cc6d5050ada82c30945c5d1dbbb721669c4

Improve crash detection; still not working correctly.
---

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 338c107806..0bd8683d1e 100644
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -338,7 +338,10 @@ void ModelChecker::handle_waitpid()
           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();
       }