]> AND Public Git Repository - simgrid.git/blobdiff - src/mc/sosp/Snapshot_test.cpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Please sonar a little
[simgrid.git] / src / mc / sosp / Snapshot_test.cpp
index c5efb099db9f46e406bf664a3c67478dfd2564bc..a2af05832e4ab96f106d51ece7313e3b0468040d 100644 (file)
@@ -38,11 +38,11 @@ public:
     mc_model_checker = nullptr;
   }
 
-  static std::unique_ptr<simgrid::mc::RemoteSimulation> process;
+  static std::unique_ptr<simgrid::mc::RemoteProcess> process;
 };
 
 // static member variables init.
-std::unique_ptr<simgrid::mc::RemoteSimulation> snap_test_helper::process = nullptr;
+std::unique_ptr<simgrid::mc::RemoteProcess> snap_test_helper::process = nullptr;
 
 void snap_test_helper::init_memory(void* mem, size_t size)
 {
@@ -57,8 +57,8 @@ void snap_test_helper::Init()
   REQUIRE(xbt_pagesize == getpagesize());
   REQUIRE(1 << xbt_pagebits == xbt_pagesize);
 
-  process = std::make_unique<simgrid::mc::RemoteSimulation>(getpid());
-  process->init();
+  process = std::make_unique<simgrid::mc::RemoteProcess>(getpid());
+  process->init(nullptr, nullptr, nullptr, nullptr);
   mc_model_checker = new ::simgrid::mc::ModelChecker(std::move(process), -1);
 }