[mc] Politely ask the model-checked application to terminate on shutdown.

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 47c8a88..df403c3 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -108,7 +108,7 @@ void ModelChecker::shutdown()
   RemoteProcess& process = get_remote_process();
   if (process.running()) {
     XBT_DEBUG("Killing process");
-    // TODO, terminate the model checker politely instead of exiting rudely
+    finalize_app(true);
     kill(process.pid(), SIGKILL);
     process.terminate();
   }