+ /* These methods are callbacks called by the model-checking engine
+ * to get and display information about the current state of the
+ * model-checking algorithm: */
+
+ /** Show the current trace/stack
+ *
+ * Could this be handled in the Session/ModelChecker instead? */
+ virtual RecordTrace getRecordTrace();
+
+ /** Generate a textual execution trace of the simulated application */
+ virtual std::vector<std::string> getTextualTrace();
+
+ /** Log additional information about the state of the model-checker */
+ virtual void logState();
+