- for (auto const& s : model_checker_->getChecker()->get_textual_trace())
- XBT_CINFO(mc_global, " %s", s.c_str());
- XBT_CINFO(mc_global, "Path = %s", model_checker_->getChecker()->get_record_trace().to_string().c_str());
+ for (auto const& frame : model_checker_->get_exploration()->get_textual_trace())
+ XBT_CINFO(mc_global, " %s", frame.c_str());
+ XBT_CINFO(mc_global, "Path = %s", model_checker_->get_exploration()->get_record_trace().to_string().c_str());