mcapi.actor_is_enabled() is called in LivenessChecker::create_pair()

[simgrid.git] / src / mc / mc_api.cpp

diff --git a/src/mc/mc_api.cpp b/src/mc/mc_api.cpp
index cbf5bbc173a43cc12d3f4060d2bcbeb5f53d6695..f83804824f1a1dace6b010472387ba725e54ed23 100644 (file)
--- a/src/mc/mc_api.cpp
+++ b/src/mc/mc_api.cpp
@@ -507,6 +507,16 @@ void mc_api::automaton_load(const char *file) const
 }
 #endif
 
+std::vector<int> mc_api::automaton_propositional_symbol_evaluate() const  
+{
+  unsigned int cursor = 0;
+  std::vector<int> values;    
+  xbt_automaton_propositional_symbol_t ps = nullptr;
+  xbt_dynar_foreach (mc::property_automaton->propositional_symbols, cursor, ps)
+    values.push_back(xbt_automaton_propositional_symbol_evaluate(ps));
+  return values;
+}
+
 void mc_api::log_state() const
 {
   session->log_state();