- XBT_INFO("Counter-example execution trace:");
- for (auto const& s : mc_model_checker->getChecker()->get_textual_trace())
- XBT_INFO(" %s", s.c_str());
- XBT_INFO("Path = %s", mc_model_checker->getChecker()->get_record_trace().to_string().c_str());
- session_singleton->log_state();
- if (xbt_log_no_loc) {
- XBT_INFO("Stack trace not displayed because you passed --log=no_loc");
- } else {
- XBT_INFO("Stack trace:");
- mc_model_checker->get_remote_process().dump_stack();
+ if (explorer) {
+ XBT_INFO("Counter-example execution trace:");
+ for (auto const& s : explorer->get_textual_trace())
+ XBT_INFO(" %s", s.c_str());
+ XBT_INFO("You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with "
+ "--cfg=model-check/replay:'%s'",
+ explorer->get_record_trace().to_string().c_str());
+ explorer->log_state();
+ if (xbt_log_no_loc) {
+ XBT_INFO("Stack trace not displayed because you passed --log=no_loc");
+ } else {
+ XBT_INFO("Stack trace:");
+ mc_model_checker->get_remote_process().dump_stack();
+ }