const unsigned times_considered = actor_state.do_consider();
const auto* expected_executed_transition = actor_state.get_transition(times_considered);
xbt_assert(expected_executed_transition != nullptr,
const unsigned times_considered = actor_state.do_consider();
const auto* expected_executed_transition = actor_state.get_transition(times_considered);
xbt_assert(expected_executed_transition != nullptr,
- "Expected a transition with %d times considered to be noted in actor %lu", times_considered, next);
+ "Expected a transition with %u times considered to be noted in actor %ld", times_considered, next);
Transition::executed_transitions_++;
auto* just_executed = mc_model_checker->handle_simcall(next, times_considered, true);
xbt_assert(just_executed->type_ == expected_executed_transition->type_,
Transition::executed_transitions_++;
auto* just_executed = mc_model_checker->handle_simcall(next, times_considered, true);
xbt_assert(just_executed->type_ == expected_executed_transition->type_,