Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix visited states reduction with comm determinism verification
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Fri, 27 Jun 2014 12:09:21 +0000 (14:09 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Fri, 27 Jun 2014 12:09:21 +0000 (14:09 +0200)
commita8aa2d7d477df7565dc963b9abcb571e8f6d87e2
tree4a3a79f0ab7a9cd1e0b196fff0a58d2da61fdd2c
parent848de43e8b662c557853f4466115937687e8fd63
model-checker : fix visited states reduction with comm determinism verification
src/mc/mc_comm_determinism.c