Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : test unit for snapshot comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Jun 2012 09:47:33 +0000 (11:47 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Jun 2012 09:47:33 +0000 (11:47 +0200)
commit3d28e83ea2a5f93c7654087eb70ab2e873553628
tree6a086734e3edb22868fe252546c31b13c384b611
parente39bbd6388a46a93cf74fe1562e2015060071c24
model-checker : test unit for snapshot comparison
src/mc/mc_liveness.c