Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : replace all XBT_DEBUG by XBT_INFO
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 29 May 2012 13:19:16 +0000 (15:19 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 29 May 2012 13:19:16 +0000 (15:19 +0200)
commitc47736071b39439589e5262e612bb86d50db6cb2
tree31e31840581ffd40040ccccae3f6c7268d3170c1
parent52b41ba5f4cbc90aa34bb84e6774e880b00b2776
model-checker : replace all XBT_DEBUG by XBT_INFO
src/mc/mc_liveness.c