Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : print statistics in all cases (property satisfied or not)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Jun 2012 08:12:08 +0000 (10:12 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Jun 2012 08:12:08 +0000 (10:12 +0200)
commitf816b895e4b1219c3dcd0443a55ef90690a849ef
treee9fba8212f71a10144ea357c5a864aa77b17d820
parentdbf9fd79c32bf349616bc48aef05f296c2fde203
model-checker : print statistics in all cases (property satisfied or not)
src/mc/mc_global.c