XBT_INFO("Counter-example that violates formula:");
for (auto const& s : this->get_textual_trace())
XBT_INFO(" %s", s.c_str());
- mcapi::get().mc_dump_record_path();
+ mcapi::get().dump_record_path();
mcapi::get().log_state();
XBT_INFO("Counter-example depth: %zu", depth);
}
auto checker = mcapi::get().mc_get_checker();
for (auto const& s : checker->get_textual_trace())
XBT_INFO(" %s", s.c_str());
- mcapi::get().mc_dump_record_path();
+ mcapi::get().dump_record_path();
mcapi::get().log_state();
throw TerminationError();
return mc_model_checker->get_host_name(hostname);
}
-void mc_api::mc_dump_record_path() const
+void mc_api::dump_record_path() const
{
simgrid::mc::dumpRecordPath();
}
void mc_wait_for_requests() const;
void mc_exit(int status) const;
std::string const& mc_get_host_name(std::string const& hostname) const;
- void mc_dump_record_path() const;
+ void dump_record_path() const;
smx_simcall_t mc_state_choose_request(simgrid::mc::State* state) const;
// SIMCALL APIs