Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix test mc/mutex-handling.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 31 Jan 2020 14:18:16 +0000 (15:18 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 31 Jan 2020 15:51:14 +0000 (16:51 +0100)
commit2ec3725f7756a28b773b57cc0aebb907d97cf57e
tree84c827fdd4c861dcee528aee1d7edd8caea35e68
parentaf145e117b9d5569b87814ae3f0569609f86e36f
Fix test mc/mutex-handling.

It runs correctly now, but I'm not sure of its results.

In particular, it seems to find a counter-example correclty, contrarily of what
is written in leading comments.
teshsuite/mc/mutex-handling/mutex-handling.cpp
teshsuite/mc/mutex-handling/mutex-handling.tesh
teshsuite/mc/mutex-handling/without-mutex-handling.tesh