From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 10 Jul 2012 14:08:59 +0000 (+0200)
Subject: model-checker : heapinfo adresses refer to saved heap instead of current heap
X-Git-Tag: v3_8~287
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2486c9c9a421d4619d3667095f7cfe20de3e2788?hp=2486c9c9a421d4619d3667095f7cfe20de3e2788

model-checker : heapinfo adresses refer to saved heap instead of current heap
---