Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : increase number of colors for dot output
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 8 Jun 2013 17:15:17 +0000 (19:15 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 8 Jun 2013 17:15:17 +0000 (19:15 +0200)
commitd6a65df81f2d1263be4186890863302355cb59f9
treeec8bf3f010555fa59c21b2a3110e7d384d1d82b6
parentaa9957cdf6eccf9ed8f1001c41273ea2115b75b4
model-checker : increase number of colors for dot output
src/mc/mc_global.c
src/mc/mc_private.h