Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add informations when log debug enabled
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 12 Jan 2012 09:55:28 +0000 (10:55 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 12 Jan 2012 09:55:28 +0000 (10:55 +0100)
commitb8ef9510aee1b2c8a7da1cdd3a2f062b4ad3269a
tree28550fb0054b5f0a053eb3aa519b8e0ac95cf68d
parent14226aa8e149636047c44fb76c20163989594cb1
model-checker : add informations when log debug enabled
src/mc/mc_liveness.c