mc_api::automaton_load() defined

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index 07a6bb0..220f495 100644 (file)
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -311,7 +311,7 @@ void LivenessChecker::backtrack()
 void LivenessChecker::run()
 {
   XBT_INFO("Check the liveness property %s", _sg_mc_property_file.get().c_str());
-  MC_automaton_load(_sg_mc_property_file.get().c_str());
+  mcapi::get().automaton_load(_sg_mc_property_file.get().c_str());
 
   XBT_DEBUG("Starting the liveness algorithm");
   mc::session->initialize();

diff --git a/src/mc/mc_api.cpp b/src/mc/mc_api.cpp
index d926105..ffe5b51 100644 (file)
--- a/src/mc/mc_api.cpp
+++ b/src/mc/mc_api.cpp
@@ -500,6 +500,13 @@ void mc_api::execute(Transition const& transition) const
   session->execute(transition);
 }
 
+#if SIMGRID_HAVE_MC
+void mc_api::automaton_load(const char *file) const
+{ 
+  MC_automaton_load(file); 
+}
+#endif
+
 void mc_api::log_state() const
 {
   session->log_state();

diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp
index fe6898f..6a711d6 100644 (file)
--- a/src/mc/mc_api.hpp
+++ b/src/mc/mc_api.hpp
@@ -105,6 +105,11 @@ public:
   void s_initialize() const;
   void s_close() const;
   void execute(Transition const& transition) const;
+
+  // Global APIs
+  #if SIMGRID_HAVE_MC
+  void automaton_load(const char *file) const;
+  #endif
 };
 
 } // namespace mc