#include <simgrid_config.h>
#include <xbt/dict.h>
+#include <xbt/base.h>
#include "mc_forward.hpp"
#include "mc_process.h"
// This is the parent snapshot of the current state:
PageStore page_store_;
Process process_;
+public:
+ mc_snapshot_t parent_snapshot_;
+
public:
ModelChecker(ModelChecker const&) = delete;
ModelChecker& operator=(ModelChecker const&) = delete;