Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix dot output for liveness MC
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 13 Aug 2013 13:59:04 +0000 (15:59 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 13 Aug 2013 13:59:04 +0000 (15:59 +0200)
commitca56c046667fe56766ea8d522fd87cf2c23df4a4
treed82d75e04a04557f6da60fbd786c4561339facb1
parentef6a1c2bf7ef52a543f8a4d3276b215d5644194b
model-checker : fix dot output for liveness MC
src/mc/mc_liveness.c
src/mc/mc_pair.c
src/mc/mc_private.h