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