Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix MC cross-process memory access
[simgrid.git] / src / mc / mc_snapshot.cpp
index 2d534f5..a1ea070 100644 (file)
@@ -233,6 +233,7 @@ static void test_snapshot(bool sparse_checkpoint) {
   xbt_assert(xbt_pagesize == getpagesize());
   xbt_assert(1 << xbt_pagebits == xbt_pagesize);
   mc_model_checker = new ::simgrid::mc::ModelChecker(getpid(), -1);
+  mc_model_checker->init_process();
 
   for(int n=1; n!=256; ++n) {