Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : cosmetics on log message
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Nov 2012 16:33:09 +0000 (17:33 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Nov 2012 16:35:23 +0000 (17:35 +0100)
commit3c97a882ab64499bcac27de50bff50029d40a180
treebc548d95b7ebf673fc10a8780c528b57313347c9
parente6842da5013c7598839024360b268d17c5c9d72a
model-checker : cosmetics on log message
src/mc/mc_compare.c