A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[mc] Terminate crashing applications too.
[simgrid.git]
/
src
/
mc
/
ModelChecker.cpp
diff --git
a/src/mc/ModelChecker.cpp
b/src/mc/ModelChecker.cpp
index
102133f
..
d4ff74e
100644
(file)
--- a/
src/mc/ModelChecker.cpp
+++ b/
src/mc/ModelChecker.cpp
@@
-271,6
+271,7
@@
void ModelChecker::handle_waitpid()
xbt_assert(ptrace_res != -1, "Could not get exit status");
if (WIFSIGNALED(status)) {
MC_report_crash(status);
xbt_assert(ptrace_res != -1, "Could not get exit status");
if (WIFSIGNALED(status)) {
MC_report_crash(status);
+ this->get_remote_process().terminate();
this->exit(SIMGRID_MC_EXIT_PROGRAM_CRASH);
}
}
this->exit(SIMGRID_MC_EXIT_PROGRAM_CRASH);
}
}
@@
-290,6
+291,7
@@
void ModelChecker::handle_waitpid()
else if (WIFSIGNALED(status)) {
MC_report_crash(status);
else if (WIFSIGNALED(status)) {
MC_report_crash(status);
+ this->get_remote_process().terminate();
this->exit(SIMGRID_MC_EXIT_PROGRAM_CRASH);
} else if (WIFEXITED(status)) {
XBT_DEBUG("Child process is over");
this->exit(SIMGRID_MC_EXIT_PROGRAM_CRASH);
} else if (WIFEXITED(status)) {
XBT_DEBUG("Child process is over");