Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix removal of a visited pair in liveness MC
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 1 Oct 2013 08:51:15 +0000 (10:51 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 1 Oct 2013 08:51:27 +0000 (10:51 +0200)
commit6fc9b4f557c9d004ef9976e34e22d56ed8b19b1b
tree94f1995a4160c54261590935955cdf83b9b03ab4
parent9788cd051f72b982ec571c96e84577e9749188b1
model-checker : fix removal of a visited pair in liveness MC
src/mc/mc_liveness.c