From 6025ab6e5b3640ed67a44cc1792725cfbb98936f Mon Sep 17 00:00:00 2001
From: Ehsan Azimi <eazimi@ehsan.irisa.fr>
Date: Fri, 4 Dec 2020 15:10:47 +0100
Subject: [PATCH] mc_api::automaton_load() defined

---
 src/mc/checker/LivenessChecker.cpp | 2 +-
 src/mc/mc_api.cpp                  | 7 +++++++
 src/mc/mc_api.hpp                  | 5 +++++
 3 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index 07a6bb0e7f..220f4956b9 100644
--- 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 d926105c29..ffe5b5139c 100644
--- 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 fe6898fa74..6a711d660b 100644
--- 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
-- 
2.20.1