class Session {
private:
std::unique_ptr<ModelChecker> modelChecker_;
+ std::shared_ptr<simgrid::mc::Snapshot> initialSnapshot_;
private:
Session(pid_t pid, int socket);
void close();
public:
+ void initialize();
void execute(Transition const& transition);
void logState();
+ void restoreInitialState();
+
public: // static constructors
/** Create a new session by forking