Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Change most mcmini tests to odpor reduction; the unchanged one fails to find the...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 6 Nov 2023 18:34:52 +0000 (19:34 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 6 Nov 2023 18:34:52 +0000 (19:34 +0100)
commit79e30a33db8c596e304b812671ad6ab569676baa
treee73a9959211e7a6562ac4b873c973c467836b583
parent49d8612567f936d626b6933887cffbea35254b3b
Change most mcmini tests to odpor reduction; the unchanged one fails to find the deadlock with odpor...
teshsuite/mc/mcmini/barber_shop_deadlock.tesh
teshsuite/mc/mcmini/barber_shop_ok.c
teshsuite/mc/mcmini/barber_shop_ok.tesh
teshsuite/mc/mcmini/philosophers_mutex_deadlock.tesh
teshsuite/mc/mcmini/philosophers_mutex_ok.tesh
teshsuite/mc/mcmini/philosophers_semaphores_ok.tesh
teshsuite/mc/mcmini/producer_consumer_deadlock.tesh
teshsuite/mc/mcmini/producer_consumer_ok.tesh