Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : display information about variables for comparison of local variables
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 09:59:33 +0000 (11:59 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 17:19:15 +0000 (19:19 +0200)
commite61f1a1be7be52324b66e62b0d3477ad8b225e01
treed83e866a3868c303e6d076f67e9f0aace381f9e3
parent1bfe3c2c6b4712fe887fb80ef13986de8734da7d
model-checker : display information about variables for comparison of local variables
examples/msg/mc/bugged1_liveness.c