From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 1 Apr 2013 12:33:01 +0000 (+0200)
Subject: model-checker : update state equality detection
X-Git-Tag: v3_9_90~412^2~68
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d1881aa45492b97948d3eff7b8c5357571e2142d?hp=d1881aa45492b97948d3eff7b8c5357571e2142d

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
---