Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: c6c5fb9)
[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)
In fact SIMCALL_MUTEX_LOCK is handled but not in DPOR.


No differences found
Clone of SimGrid repository with local patches