Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : use xbt_abort to exit MC if acceptance cycle detected
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 18 Oct 2012 19:51:48 +0000 (21:51 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 27 Oct 2012 20:35:39 +0000 (22:35 +0200)
commitc9586ed59abbb442d8b66757d3b3f1b8f6df286e
tree1e1a50230ccffaf37c891a7619f9c04202ab7dd5
parent0275d08cbb6554fc92eff095847ea32f049e37e9
model-checker : use xbt_abort to exit MC if acceptance cycle detected
src/mc/mc_liveness.c