mc_model_checker->exit(status);
}
-void Api::dump_record_path() const
-{
- simgrid::mc::dumpRecordPath();
-}
-
std::string Api::request_get_dot_output(aid_t aid, int value) const
{
const char* color = get_color(aid - 1);
unsigned long mc_get_visited_states() const;
void mc_check_deadlock() const;
XBT_ATTRIB_NORETURN void mc_exit(int status) const;
- void dump_record_path() const;
// SIMCALL APIs
std::string request_get_dot_output(aid_t aid, int value) const;
XBT_INFO("Counter-example that violates formula:");
for (auto const& s : this->get_textual_trace())
XBT_INFO(" %s", s.c_str());
- api::get().dump_record_path();
+ simgrid::mc::dumpRecordPath();
api::get().log_state();
XBT_INFO("Counter-example depth: %zu", depth);
}
XBT_INFO("Counter-example execution trace:");
for (auto const& s : get_textual_trace())
XBT_INFO(" %s", s.c_str());
- api::get().dump_record_path();
+ simgrid::mc::dumpRecordPath();
api::get().log_state();
throw TerminationError();