namespace simgrid::mc {
-RemoteApp::RemoteApp(const std::vector<char*>& args, bool need_memory_introspection)
+RemoteApp::RemoteApp(const std::vector<char*>& args, bool need_memory_introspection) : app_args_(args)
{
- for (auto* arg : args)
- app_args_.push_back(arg);
-
checker_side_ = std::make_unique<simgrid::mc::CheckerSide>(app_args_, need_memory_introspection);
if (need_memory_introspection)
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());
}