for (auto const& s : checker->get_textual_trace())
XBT_INFO(" %s", s.c_str());
mcapi::get().mc_dump_record_path();
for (auto const& s : checker->get_textual_trace())
XBT_INFO(" %s", s.c_str());
mcapi::get().mc_dump_record_path();
/* Traverse the stack from the state at position start and re-execute the transitions */
for (std::unique_ptr<State> const& state : stack_) {
/* Traverse the stack from the state at position start and re-execute the transitions */
for (std::unique_ptr<State> const& state : stack_) {