Better responsabilities splitup between CheckerSide and RemoteProcessMemory

[simgrid.git] / src / mc / explo / Exploration.cpp

diff --git a/src/mc/explo/Exploration.cpp b/src/mc/explo/Exploration.cpp
index 2440c09..1dbe4c4 100644 (file)
--- a/src/mc/explo/Exploration.cpp
+++ b/src/mc/explo/Exploration.cpp
@@ -91,7 +91,6 @@ void Exploration::report_crash(int status)
     get_remote_app().get_remote_process_memory().dump_stack();
   }
 
-  get_remote_app().get_remote_process_memory().terminate();
   system_exit(SIMGRID_MC_EXIT_PROGRAM_CRASH);
 }
 void Exploration::report_assertion_failure()