Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add information in counter-example and dot output
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 5 Jun 2013 21:48:07 +0000 (23:48 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 8 Jun 2013 16:16:23 +0000 (18:16 +0200)
commitcee502af6d0b9f251c6f36a7baa98a5342b08abf
tree262975757658012326b65425b940ef8f0e88d231
parent041f6cf28a3d83ee106f4ac7c80fa65809f50a31
model-checker : add information in counter-example and dot output
src/mc/mc_global.c
src/mc/mc_request.c