Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Sanity check that mutex are empty when destroyed
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 13 Nov 2023 00:10:41 +0000 (01:10 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 13 Nov 2023 15:05:52 +0000 (16:05 +0100)
commit35bf365de6be434aeeafa8b3d5f5c9a1e3082ce3
treeeb238f4a79147e82567ba756a75d16e378928f4f
parent63d238ad4d74226fae3321cb5c128f03160dacb2
Sanity check that mutex are empty when destroyed
src/kernel/activity/MutexImpl.hpp
src/s4u/s4u_Mutex.cpp