Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update state equality detection
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 1 Apr 2013 12:33:01 +0000 (14:33 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 1 Apr 2013 12:33:01 +0000 (14:33 +0200)
commitd1881aa45492b97948d3eff7b8c5357571e2142d
tree20025cf1c88d90eaabec7b858d829b20339f4938
parent97205f69c3ff45b271a439e9feedd372c587656e
model-checker : update state equality detection

- ignore field in mmalloc meta-data equal to the amount of elements to ignore in this area
- match_equals was applied twice in heap comparison algorithm, remove one unnecessary call
- apply these changes in system-state equality comparison
src/mc/mc_compare.c
src/mc/mc_global.c
src/xbt/mmalloc/mfree.c
src/xbt/mmalloc/mm_diff.c
src/xbt/mmalloc/mmprivate.h