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 2440c09ab54584cbb7f82d114529d7c07d02886a..1dbe4c41e3b180ac4ed055ea2d29e7b094a8030b 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().dump_stack();
   }
 

-  get_remote_app().get_remote_process_memory().terminate();

   system_exit(SIMGRID_MC_EXIT_PROGRAM_CRASH);
 }
 void Exploration::report_assertion_failure()
   system_exit(SIMGRID_MC_EXIT_PROGRAM_CRASH);
 }
 void Exploration::report_assertion_failure()