Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
disable a broken test, and cleanups
authorMartin Quinson <martin.quinson@loria.fr>
Tue, 8 Sep 2015 20:10:12 +0000 (22:10 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Tue, 8 Sep 2015 20:10:16 +0000 (22:10 +0200)
commit301ea4f7e952ba4586c9a6e6659db562e067fba0
tree0567b8f3d39789dd5964057ba7c2276f4fb2651d
parentca5d64ce7415fbd0c5d8fd70963bd00415690ee3
disable a broken test, and cleanups

We won't implement DPOR+mutex before 3.12, so remove its test. If a
user tries to use it, we have a big fat warning in position so it's OK.
teshsuite/mc/CMakeLists.txt
teshsuite/mc/mutex_handling.tesh [deleted file]
teshsuite/mc/no_mutex_handling.tesh [deleted file]
teshsuite/mc/with_mutex_handling.tesh [new file with mode: 0644]
teshsuite/mc/without_mutex_handling.tesh [new file with mode: 0644]
tools/cmake/AddTests.cmake