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>
Sun, 18 Nov 2012 18:40:43 +0000 (19:40 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 18 Nov 2012 18:40:43 +0000 (19:40 +0100)
commit04c2f2d2a1d483120cef0e6110df53178c8bfe04
tree9a8133afcb805af78236801600e408707a62251e
parent1220a3e5916c35ba307f7a7eb48a2820bab961cd
model-checker : use XBT_DEBUG instead of XBT_INFO
src/mc/mc_liveness.c