private:
std::unique_ptr<ModelChecker> modelChecker_;
-private: //
+private:
Session(pid_t pid, int socket);
// No copy:
~Session();
void close();
+public:
+ void execute(Transition const& transition);
+ void logState();
+
public: // static constructors
/** Create a new session by forking
static Session* spawnvp(const char *path, char *const argv[]);
};
+// Temporary
+extern simgrid::mc::Session* session;
+
}
}