~Session();
void close();
- void initialize();
+ void take_initial_snapshot();
void execute(Transition const& transition) const;
void log_state() const;
};
// Temporary :)
-extern simgrid::mc::Session* session;
-
+extern simgrid::mc::Session* session_singleton;
}
}