#include "src/mc/sosp/Snapshot.hpp"
#include <cstddef>
+#include <memory>
#include <sys/mman.h>
#include <xbt/random.hpp>
public:
static void init_memory(void* mem, size_t size);
static void Init();
- typedef struct {
+ struct prologue_return {
size_t size;
void* src;
void* dstn;
Region* region0;
Region* region;
- } prologue_return;
+ };
static prologue_return prologue(int n); // common to the below 5 fxs
static void read_whole_region();
static void read_region_parts();
REQUIRE(xbt_pagesize == getpagesize());
REQUIRE(1 << xbt_pagebits == xbt_pagesize);
- process.reset(new simgrid::mc::RemoteSimulation(getpid()));
+ process = std::make_unique<simgrid::mc::RemoteSimulation>(getpid());
process->init();
mc_model_checker = new ::simgrid::mc::ModelChecker(std::move(process), -1);
}