Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : more informations if log enabled for mc_liveness
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 11 Jan 2012 14:09:25 +0000 (15:09 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 11 Jan 2012 14:09:25 +0000 (15:09 +0100)
commitdf801effd71cdbc852ec2a588218e4e81c06cf07
treee1a007fc1a006a9f45bf2e9debcda69d997b6647
parent6ebf62909fe0465d6180044f5fcc93e083c7e184
model-checker : more informations if log enabled for mc_liveness
src/mc/mc_liveness.c