#include <xbt/base.h>
#include "mc_forward.hpp"
-#include "mc_process.h"
-#include "PageStore.hpp"
+#include "mc/Process.hpp"
+#include "mc/PageStore.hpp"
#include "mc_protocol.h"
namespace simgrid {
// 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;
return page_store_;
}
const char* get_host_name(const char* name);
+
+ bool is_important_snapshot(Snapshot const& snapshot) const
+ {
+ return &snapshot == mc_model_checker->parent_snapshot_;
+ }
};
}