Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : check dict content before removing value
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 3 Jul 2014 08:07:29 +0000 (10:07 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 3 Jul 2014 11:04:07 +0000 (13:04 +0200)
commitd931565ec0e75e437e26cd5b12f8bcf2bbd20445
tree59ed0710ea3cedbbf308c96eeb02d24543831faa
parenta2b4d57f52081a0d45dc102c7bc987189e36c24c
model-checker : check dict content before removing value
src/mc/mc_global.c