Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove trigger for state equality detection
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 31 Jan 2013 22:33:43 +0000 (23:33 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 31 Jan 2013 23:45:34 +0000 (00:45 +0100)
commitae4e4af03720a84f4937d426f1ac8ca4d4fa1291
treec0964af03bf599eebc4bbab238ada59360b9e5ff
parent1216e8f0f02bb52f690f8cb60cfced9d4dc40f57
model-checker : remove trigger for state equality detection
examples/msg/mc/bugged1_liveness.c