}
}
- session->restore_initial_state();
+ get_session().restore_initial_state();
/* Traverse the stack from the initial state and re-execute the transitions */
int depth = 1;
/* 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();
- if (api::get().actor_is_enabled(actor->get_pid()))
+ if (get_session().actor_is_enabled(actor->get_pid()))
next_pair->graph_state->mark_todo(actor);
}
api::get().automaton_load(_sg_mc_property_file.get().c_str());
XBT_DEBUG("Starting the liveness algorithm");
- get_session()->take_initial_snapshot();
+ get_session().take_initial_snapshot();
/* Initialize */
this->previous_pair_ = 0;
api::get().log_state();
}
-Checker* createLivenessChecker(Session* session)
+Checker* create_liveness_checker(Session* session)
{
return new LivenessChecker(session);
}