Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc2dfd3) | patch
Add more tests from McMini
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Nov 2023 21:39:19 +0000 (22:39 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Nov 2023 21:39:35 +0000 (22:39 +0100)
commite40065bf1c41a83ae34b6e192abc77f970143006
treeb0aa8b0bb8876f561ffd69d64f5d5b9de557c785tree | snapshot
parentbc2dfd3f45249f43cc56579e52cc1bbe465113e1commit | diff
Add more tests from McMini
15 files changed:
teshsuite/mc/CMakeLists.txt diff | blob | history
teshsuite/mc/mcmini/barber_shop_deadlock.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/barber_shop_deadlock.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/philosophers_mutex_deadlock.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/philosophers_mutex_deadlock.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/philosophers_mutex_ok.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/philosophers_mutex_ok.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/philosophers_semaphores_deadlock.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/philosophers_semaphores_deadlock.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/philosophers_semaphores_ok.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/philosophers_semaphores_ok.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/producer_consumer_deadlock.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/producer_consumer_deadlock.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/producer_consumer_ok.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/producer_consumer_ok.tesh [new file with mode: 0644] blob
Clone of SimGrid repository with local patches