/* Add all enabled actors to the interleave set of the initial state */
for (auto& act : api::get().get_actors()) {
auto actor = act.copy.get_buffer();
/* Add all enabled actors to the interleave set of the initial state */
for (auto& act : api::get().get_actors()) {
auto actor = act.copy.get_buffer();
api::get().automaton_load(_sg_mc_property_file.get().c_str());
XBT_DEBUG("Starting the liveness algorithm");
api::get().automaton_load(_sg_mc_property_file.get().c_str());
XBT_DEBUG("Starting the liveness algorithm");