Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore coverage variables
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 20 Nov 2012 15:41:55 +0000 (16:41 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 20 Nov 2012 15:41:55 +0000 (16:41 +0100)
commita27b7cd435294d62935a32330fa83608aa4974d9
tree048c28ac412f0d611adbcb534b3940a74d353206
parent2cc294d3e6a633bd4a76a41ce98f053290b41623
model-checker : ignore coverage variables
src/mc/mc_compare.c
src/mc/mc_global.c
src/mc/mc_private.h