Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Add tests to show that DPOR is guilty of mutex mis-handling
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 25 Aug 2015 14:19:20 +0000 (16:19 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 25 Aug 2015 14:19:20 +0000 (16:19 +0200)
commitc6c5fb9c58ff51817502ba8884ef0c7eb769e2cc
tree391e051a7a4299eef04d9e0b108dd4b226face14
parentc7776b0eba6a1d477144244726ee9067ed723db6
[mc] Add tests to show that DPOR is guilty of mutex mis-handling

In fact SIMCALL_MUTEX_LOCK is handled but not in DPOR.
tools/cmake/AddTests.cmake