Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : use XBT_DEBUG instead of XBT_INFO
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 16 Nov 2012 16:21:54 +0000 (17:21 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 16 Nov 2012 16:21:54 +0000 (17:21 +0100)
commitfaefbf1df4c06fd86d785d0a376356cd2375b81e
treed4ab401f3d6e882e70d0844e537c68ebdfaf0400
parent827af93af994ce96e6c607a0bec898bc62f1acbd
model-checker : use XBT_DEBUG instead of XBT_INFO
src/mc/mc_liveness.c