Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revalidate the tesh output of mutex-MC. The mutex IDs were changed for the same traces
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 15 Mar 2022 11:33:14 +0000 (12:33 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 15 Mar 2022 11:33:14 +0000 (12:33 +0100)
commit5190c1c45270085777ef904c35ab99b5ad52d681
tree7fe8e2bd46a5e65cff400045f86b2bbf160f8c97
parent354b481c19526a34cde110b3cadf49dbde8feec5
Revalidate the tesh output of mutex-MC. The mutex IDs were changed for the same traces
examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh