}
}
+}
+
#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)
mc_model_checker = NULL;
}
-}
-
#endif /* SIMGRID_TEST */
-}