Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore global variables corresponding to a counter for coverage
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 6 Dec 2012 09:16:10 +0000 (10:16 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 6 Dec 2012 09:32:05 +0000 (10:32 +0100)
commite8b6afba8f8b0963162e7ece45d9503662d2f03d
treeebb25eacc0699d070b1080a0e6ad2519d9d058c9
parent1630762970ef7debfd44c24e6621af716c11af73
model-checker : ignore global variables corresponding to a counter for coverage
src/mc/mc_global.c