Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove dead code
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Aug 2013 13:28:04 +0000 (15:28 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Aug 2013 13:28:04 +0000 (15:28 +0200)
commit055747c669087313b6b27ccf89c990f14f5b8098
treea543cb921c53bed58080a80d2b5e55c5153b4d0c
parent5e11c7363e10af116d37c7bc039694bf56e2688d
model-checker : remove dead code
examples/msg/mc/bugged2_liveness.c