Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : move creation of initial_state_liveness in MC_init_liveness
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 9 Nov 2012 17:44:02 +0000 (18:44 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 9 Nov 2012 17:46:06 +0000 (18:46 +0100)
commit26db99febdde24a0d879d7576d4ccf39c1a6d237
tree0ec8d842c98ca01e4a265cc8af870743fcf14f87
parent6f63fc36d25e3124be815b48c53b2aaafc1224d8
model-checker : move creation of initial_state_liveness in MC_init_liveness
src/mc/mc_global.c
src/mc/mc_liveness.c