- switch (type_) {
- case Type::COMM_WAIT:
- // If the other event is a communication event, then we are not reversible; otherwise we are reversible.
- return other->type_ != Transition::Type::COMM_ASYNC_SEND && other->type_ != Transition::Type::COMM_ASYNC_RECV;
- default:
- xbt_die("Unexpected transition type %s", to_c_str(type_));
- }
+ xbt_assert(type_ == Type::COMM_WAIT, "Unexpected transition type %s", to_c_str(type_));
+
+ // If the other event is a communication event, then we are not reversible; otherwise we are reversible.
+ return other->type_ != Transition::Type::COMM_ASYNC_SEND && other->type_ != Transition::Type::COMM_ASYNC_RECV;