X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/12f5ef5e51b0c8ea123c629b9f545d753fba4071..87ab6a5d123f0032675234e655f79dac2bc78beb:/src/mc/transition/TransitionComm.cpp diff --git a/src/mc/transition/TransitionComm.cpp b/src/mc/transition/TransitionComm.cpp index 0d48bcf7db..a25b10aa68 100644 --- a/src/mc/transition/TransitionComm.cpp +++ b/src/mc/transition/TransitionComm.cpp @@ -102,7 +102,7 @@ bool CommTestTransition::depends(const Transition* other) const } CommRecvTransition::CommRecvTransition(aid_t issuer, int times_considered, std::stringstream& stream) - : Transition(Type::COMM_RECV, issuer, times_considered) + : Transition(Type::COMM_ASYNC_RECV, issuer, times_considered) { xbt_assert(stream >> comm_ >> mbox_ >> rbuff_ >> tag_); } @@ -155,7 +155,7 @@ bool CommRecvTransition::depends(const Transition* other) const } CommSendTransition::CommSendTransition(aid_t issuer, int times_considered, std::stringstream& stream) - : Transition(Type::COMM_SEND, issuer, times_considered) + : Transition(Type::COMM_ASYNC_SEND, issuer, times_considered) { xbt_assert(stream >> comm_ >> mbox_ >> sbuff_ >> size_ >> tag_); XBT_DEBUG("SendTransition comm:%" PRIxPTR " mbox:%u sbuff:%" PRIxPTR " size:%zu", comm_, mbox_, sbuff_, size_);