Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1a4e4b) | patch
Add more Mc Mini tests
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Nov 2023 17:38:33 +0000 (18:38 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Nov 2023 17:49:41 +0000 (18:49 +0100)
commit30e0627bbfc12ce4ebeacfda720bc52e95feb22c
tree6849022a924c90409ab3f0541fa1dac3b83392fatree | snapshot
parentf1a4e4babeebd3e2aacb699273f6abb1a643e51dcommit | diff
Add more Mc Mini tests
21 files changed:
MANIFEST.in diff | blob | history
teshsuite/mc/CMakeLists.txt diff | blob | history
teshsuite/mc/mcmini/philosophers_semaphores_ok.tesh diff | blob | history
teshsuite/mc/mcmini/simple_mutex_deadlock.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_mutex_deadlock.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_mutex_ok.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_mutex_ok.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_mutex_with_threads_deadlock.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_mutex_with_threads_deadlock.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_mutex_with_threads_ok.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_mutex_with_threads_ok.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_semaphore_deadlock.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_semaphore_deadlock.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_semaphores_deadlock.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_semaphores_deadlock.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_semaphores_ok.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_semaphores_ok.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_semaphores_with_threads_deadlock.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_semaphores_with_threads_deadlock.tesh [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_semaphores_with_threads_ok.c [new file with mode: 0644] blob
teshsuite/mc/mcmini/simple_semaphores_with_threads_ok.tesh [new file with mode: 0644] blob
Clone of SimGrid repository with local patches