Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : typo
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 11 Nov 2012 13:56:43 +0000 (14:56 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 11 Nov 2012 13:56:43 +0000 (14:56 +0100)
commit8ab1e1d4905449ffe223868191b8a78bf3fb0064
treec6aa5cbd3d20818b63fe9751c29643257fc81a53
parent72fe27194fcb9623c09078d80efbd3b174dbc731
model-checker : typo
src/mc/mc_compare.c