Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : init MC for liveness in a separate function
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 18 Oct 2012 19:49:30 +0000 (21:49 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 27 Oct 2012 20:35:39 +0000 (22:35 +0200)
commit0275d08cbb6554fc92eff095847ea32f049e37e9
tree064890adac6cfa65932b6561fb346f23ad3aafa4
parent3028d14c0b1903582ac16f5eb09e4f33d7b1eb3a
model-checker : init MC for liveness in a separate function
src/mc/mc_checkpoint.c
src/mc/mc_global.c
src/mc/mc_private.h