-void MC_show_deadlock()
-{
- XBT_INFO("**************************");
- XBT_INFO("*** DEADLOCK DETECTED ***");
- XBT_INFO("**************************");
- XBT_INFO("Counter-example execution trace:");
- for (auto const& s : mc_model_checker->getChecker()->get_textual_trace())
- XBT_INFO(" %s", s.c_str());
- simgrid::mc::dumpRecordPath();
- simgrid::mc::session->log_state();
-}
-
-void MC_automaton_load(const char *file)
-{
- if (simgrid::mc::property_automaton == nullptr)
- simgrid::mc::property_automaton = xbt_automaton_new();
-
- xbt_automaton_load(simgrid::mc::property_automaton, file);
-}
-