Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new test unit for snapshot comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Jun 2012 12:58:19 +0000 (14:58 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Jun 2012 12:58:19 +0000 (14:58 +0200)
commit97aa0e698984b850ad794879f10e2978e4ec94fe
treea7f16bc6297a32cc2a1d3f51c43de6b8e8ed911a
parent184f7cbedd7496fb81e192e78f7beae87f942ee5
model-checker : new test unit for snapshot comparison
src/mc/mc_liveness.c