Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revalidate the tesh files that got invalidated by a borken printf
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Nov 2023 17:18:07 +0000 (18:18 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Nov 2023 17:18:12 +0000 (18:18 +0100)
commitf1a4e4babeebd3e2aacb699273f6abb1a643e51d
treeaeb14c7a75f010336629c372e00efa2d716da37d
parent596e36117322c22fd31372e7803bc197bcd4a016
Revalidate the tesh files that got invalidated by a borken printf

Semaphore ID and capacity was inverted
teshsuite/mc/mcmini/philosophers_semaphores_deadlock.tesh
teshsuite/mc/mcmini/philosophers_semaphores_ok.tesh
teshsuite/mc/mcmini/producer_consumer_deadlock.tesh