Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge oberver classes MutexTrylockSimcall and MutexLockSimcall.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 9 Mar 2021 14:36:05 +0000 (15:36 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 9 Mar 2021 20:14:44 +0000 (21:14 +0100)
commit68d9a0c88dc296fae41b23528a1345b4534dc96a
tree3875fdd2111023264019259a0bb0b63d63cb1cdb
parentd78a7f87e28a15c0f1e71e4510a055554e0e5e9b
Merge oberver classes MutexTrylockSimcall and MutexLockSimcall.
src/mc/checker/SimcallObserver.cpp
src/mc/checker/SimcallObserver.hpp
src/s4u/s4u_Mutex.cpp