#ifndef SIMGRID_MC_SNAPSHOT_HPP
#define SIMGRID_MC_SNAPSHOT_HPP
-#include <vector>
+#include <memory>
#include <set>
#include <string>
-#include <memory>
+#include <vector>
#include "src/mc/ModelChecker.hpp"
#include "src/mc/RegionSnapshot.hpp"
#include "src/mc/mc_forward.hpp"
#include "src/mc/mc_unw.hpp"
-SG_BEGIN_DECL()
+extern "C" {
// ***** Snapshot region
}
-#ifdef __cplusplus
-
namespace simgrid {
namespace mc {
}
}
-#endif
-
extern "C" {
XBT_PRIVATE void mc_restore_page_snapshot_region(simgrid::mc::RemoteClient* process, void* start_addr,
void* res;
return *(void**) MC_region_read(region, &res, addr, sizeof(void*));
}
-
-SG_END_DECL()
+}
#endif