Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: d1881aa)
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)
- 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


No differences found
Clone of SimGrid repository with local patches