Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add new pair reached even if compare==0
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 12 Jul 2012 13:19:16 +0000 (15:19 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 16 Jul 2012 14:19:36 +0000 (16:19 +0200)
commit71439b265c816a3470801cade312b002553bf817
tree924e62abbcb85157c1da31649b27031daa386f8c
parented041fecba86c9947b98264841cdb1d874a2cd5b
model-checker : add new pair reached even if compare==0
src/mc/mc_liveness.c