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)
PageStore page_store_{500};
std::shared_ptr<simgrid::mc::Snapshot> initial_snapshot_;
- std::vector<char*> app_args_;
+ const std::vector<char*> app_args_;
// No copy:
RemoteApp(RemoteApp const&) = delete;