* algorithms should be able to be written in high-level languages
* (e.g. Python) using bindings on this interface.
*/
-class Session {
+class XBT_PUBLIC Session {
private:
std::unique_ptr<ModelChecker> model_checker_;
std::shared_ptr<simgrid::mc::Snapshot> initial_snapshot_;
*
* The code is expected to `exec` the model-checked application.
*/
- Session(const std::function<void()>& code);
+ explicit Session(const std::function<void()>& code);
~Session();
void close();