Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : cosmetic in log message
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 3 Jul 2014 08:22:37 +0000 (10:22 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 3 Jul 2014 11:04:07 +0000 (13:04 +0200)
commit6a71275deaf9f5a555fe616428099556e5efcf99
treefc8d4dba9241968002a94f0bedfad4361d5133b9
parentd931565ec0e75e437e26cd5b12f8bcf2bbd20445
model-checker : cosmetic in log message
src/mc/mc_comm_determinism.c