Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
modelc-checker : reset list of blocks/fragments pairs associated
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 16 Aug 2012 22:19:08 +0000 (00:19 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 16 Aug 2012 22:19:08 +0000 (00:19 +0200)
src/xbt/mmalloc/mm_diff.c

index ff2dbb7..0725a9c 100644 (file)
@@ -278,8 +278,10 @@ int mmalloc_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2){
               heapinfo1[i1].busy_frag.equal_to[j1] = 1;
               equal = 1;
               match_equals(previous);
+              xbt_dynar_reset(previous);
               break;
             }
+
             xbt_dynar_reset(previous);
 
           }