for (auto const& s : checker->get_textual_trace())
XBT_INFO(" %s", s.c_str());
mcapi::get().mc_dump_record_path();
- mcapi::get().s_log_state();
+ mcapi::get().log_state();
throw TerminationError();
}
}
XBT_INFO("No property violation found.");
- mcapi::get().s_log_state();
+ mcapi::get().log_state();
}
void SafetyChecker::backtrack()
}
/* Restore the initial state */
- mcapi::get().s_restore_initial_state();
+ mcapi::get().restore_initial_state();
/* Traverse the stack from the state at position start and re-execute the transitions */
for (std::unique_ptr<State> const& state : stack_) {