- void logState();
-
-public: // static constructors
-
- /** Create a new session by forking
- *
- * The code is expected to `exec` the model-checker program.
- */
- static Session* fork(std::function<void(void)> code);
-
- /** Create a session using `execv` */
- static Session* spawnv(const char *path, char *const argv[]);