Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f44f7b) | patch
model-checker : remove arg std_heap_addr in mmalloc_compare_heap and mmalloc_compare_...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 21 Feb 2012 15:02:23 +0000 (16:02 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 21 Feb 2012 15:02:23 +0000 (16:02 +0100)
commit176b21d6ac0835d9bb1a22f93410df314ba8a057
tree29597c917eb6e5bc8a4eeb4bda56d97182a332bdtree | snapshot
parent6f44f7bab7fd4cfae1b0a63f4c57e4b6a3e38939commit | diff
model-checker : remove arg std_heap_addr in mmalloc_compare_heap and mmalloc_compare_mdesc functions, display backtrace when different blocks between two snapshots of the heap
include/xbt/mmalloc.h diff | blob | history
src/xbt/mmalloc/mm_diff.c diff | blob | history
src/xbt/mmalloc/mmprivate.h diff | blob | history
Clone of SimGrid repository with local patches