Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove useless condition
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 3 Jul 2014 08:06:01 +0000 (10:06 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 3 Jul 2014 11:04:06 +0000 (13:04 +0200)
commita2b4d57f52081a0d45dc102c7bc987189e36c24c
treecafad7d5d37df7ab5e1d314c0b649171c4a57bcf
parentef6f2ce6c7e898f90da6f5415d08a0e87c6853ba
model-checker : remove useless condition
src/mc/mc_comm_determinism.c