Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : MC_replay_liveness function extended to replay all pairs in stack...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 10 Nov 2011 10:12:52 +0000 (11:12 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 10 Nov 2011 10:12:52 +0000 (11:12 +0100)
commit674e42f3c2fb237a6e690a939a909a32e6cebc98
tree1b1b6448d11960d91dd90c751755f98715b2a35c
parent5d3371b450c02d427a69462ca166772385117791
model-checker : MC_replay_liveness function extended to replay all pairs in stack or just a part
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/private.h