Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Resynch MBI generators with upstream
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 26 Mar 2022 10:01:16 +0000 (11:01 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 26 Mar 2022 23:28:29 +0000 (00:28 +0100)
commit36b113e5c94889b7f0ab69fa6327978f2adc3a3a
tree868894643d5bdc970e1fb10647c25073ae48826c
parent42e53275818eb73c44d49566d9a4794658766ed9
Resynch MBI generators with upstream

CollP2PMessageRaceGenerator.py: Replace source of second recv for message race.

(+ whitespace cleanups)
teshsuite/smpi/MBI/CollP2PMatchingGenerator.py
teshsuite/smpi/MBI/CollP2PMessageRaceGenerator.py
teshsuite/smpi/MBI/MissingWaitandStartGenerator.py
teshsuite/smpi/MBI/P2PComGenerator.py
teshsuite/smpi/MBI/P2PInvalidComGenerator.py
teshsuite/smpi/MBI/P2PMatchingANYSRCGenerator.py
teshsuite/smpi/MBI/P2PMatchingGenerator.py
teshsuite/smpi/MBI/RMAArgGenerator.py
teshsuite/smpi/MBI/RMALocalLocalConcurrencyGenerator.py
teshsuite/smpi/MBI/RMARemoteRemoteConcurrencyGenerator.py
teshsuite/smpi/MBI/ResleakGenerator.py