Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Do not ask for memory info when restarting in refork mode
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 25 Mar 2023 10:18:58 +0000 (11:18 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 25 Mar 2023 10:18:58 +0000 (11:18 +0100)
src/mc/api/RemoteApp.cpp

index beba474..b53ef17 100644 (file)
@@ -48,7 +48,7 @@ void RemoteApp::restore_initial_state()
   if (initial_snapshot_ == nullptr) { // No memory introspection
     // We need to destroy the existing CheckerSide before creating the new one, or libevent gets crazy
     checker_side_.reset(nullptr);
-    checker_side_.reset(new simgrid::mc::CheckerSide(app_args_, true));
+    checker_side_.reset(new simgrid::mc::CheckerSide(app_args_, false));
   } else
     initial_snapshot_->restore(*checker_side_->get_remote_memory());
 }