X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5fbb3fe0fdfdf731e46c9ef6a80de1d66a9d729c..2dab73b61a6ad4feb7d2d267bf5621c7b95926b3:/src/mc/sosp/Snapshot_test.cpp diff --git a/src/mc/sosp/Snapshot_test.cpp b/src/mc/sosp/Snapshot_test.cpp index 88f7d9a92e..c961a37c27 100644 --- a/src/mc/sosp/Snapshot_test.cpp +++ b/src/mc/sosp/Snapshot_test.cpp @@ -37,11 +37,11 @@ public: mc_model_checker = nullptr; } - static std::unique_ptr process; + static std::unique_ptr process; }; // static member variables init. -std::unique_ptr snap_test_helper::process = nullptr; +std::unique_ptr snap_test_helper::process = nullptr; void snap_test_helper::init_memory(void* mem, size_t size) { @@ -56,7 +56,7 @@ void snap_test_helper::Init() REQUIRE(xbt_pagesize == getpagesize()); REQUIRE(1 << xbt_pagebits == xbt_pagesize); - process.reset(new simgrid::mc::RemoteClientMemory(getpid())); + process.reset(new simgrid::mc::RemoteSimulation(getpid())); process->init(); mc_model_checker = new ::simgrid::mc::ModelChecker(std::move(process), -1); }