Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove split the MCed and MCer part of MC_deadlock_check()