Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix some tesh after changing dependence relation about Semaphore
authormlaurent <mathieu.laurent@ens-rennes.fr>
Thu, 9 Nov 2023 10:28:36 +0000 (11:28 +0100)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Thu, 9 Nov 2023 10:28:36 +0000 (11:28 +0100)
commit585dc40dd38b797005b02180030fdb2bec766b29
tree8ab4ccb55d2b200b7d30a5c22393bf3fe45eac64
parentb58b0ba2f6b92efa234677e19dd998346113504d
Fix some tesh after changing dependence relation about Semaphore
teshsuite/mc/mcmini/barber_shop_deadlock.tesh
teshsuite/mc/mcmini/barber_shop_ok.tesh
teshsuite/mc/mcmini/philosophers_semaphores_ok.tesh