void LivenessChecker::run()
{
- XBT_INFO("Check the liveness property %s", _sg_mc_property_file.c_str());
- MC_automaton_load(_sg_mc_property_file.c_str());
+ XBT_INFO("Check the liveness property %s", _sg_mc_property_file.get().c_str());
+ MC_automaton_load(_sg_mc_property_file.get().c_str());
XBT_DEBUG("Starting the liveness algorithm");
simgrid::mc::session->initialize();