}
}
- session->restore_initial_state();
+ get_session().restore_initial_state();
/* Traverse the stack from the initial state and re-execute the transitions */
int depth = 1;
api::get().log_state();
}
-Checker* createLivenessChecker(Session* session)
+Checker* create_liveness_checker(Session* session)
{
return new LivenessChecker(session);
}