objectification of MC simcall achieved -- many tests still failing

[simgrid.git] / src / mc / ModelChecker.hpp

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index cacf530..434609c 100644 (file)
--- a/src/mc/ModelChecker.hpp
+++ b/src/mc/ModelChecker.hpp
@@ -51,6 +51,12 @@ public:
   void wait_for_requests();
   void handle_simcall(Transition const& transition);
 
+  /* Interactions with the simcall observer */
+  bool simcall_is_pending(int aid, int times_considered);
+  bool simcall_is_visible(int aid);
+  std::string simcall_to_string(int aid, int times_considered);
+  std::string simcall_dot_label(int aid, int times_considered);
+
   XBT_ATTRIB_NORETURN void exit(int status);
 
   bool checkDeadlock();