}
}
+}
+
#ifdef SIMGRID_TEST
#include <string.h>
#include "src/mc/mc_snapshot.h"
#include "src/mc/mc_mmu.h"
-extern "C" {
-
XBT_TEST_SUITE("mc_snapshot", "Snapshots");
static inline void init_memory(void* mem, size_t size)
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) {
mc_model_checker = NULL;
}
-}
-
#endif /* SIMGRID_TEST */
-}