Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
CommDet: detached send should be handled. But how?
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 20:23:07 +0000 (21:23 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 20:23:07 +0000 (21:23 +0100)
commit6a4bdf0c363a4efabf2c1bc6fa8b4bcd1740180e
treee9d22fb620cc5afcacc05348cbf32e29f253f726
parent81174dc15d5bd7601879ade93a09834a99996717
CommDet: detached send should be handled. But how?
src/mc/checker/CommunicationDeterminismChecker.cpp