- // Ensures that each actor sends precisely `answer.transition_count` transitions. While technically
- // this doesn't catch the edge case where actor A sends 3 instead of 2 and actor B sends 2 instead
- // of 3 transitions, that is ignored here since that invariant needs to be enforced on the AppSide
- const auto expected_transitions = std::accumulate(
- status.begin(), status.end(), 0, [](int total, const auto& actor) { return total + actor.n_transitions; });
- xbt_assert(expected_transitions == answer.transition_count,
- "Expected to receive %d transition(s) but was only notified of %d by the app side", expected_transitions,
- answer.transition_count);
-