Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get pointer address for bytes detected as different in heap compariso...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 20 Apr 2012 17:17:54 +0000 (19:17 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 20 Apr 2012 17:17:54 +0000 (19:17 +0200)
commitc1aaa8bd4ce09f0e1c54cd82dac03adc12b0a488
tree18ae4d1e8081b8c8593b87a86bd7a9ca20c37a3d
parentd044c30cf618bebd25051f0d575b4e99c8b3d831
model-checker : get pointer address for bytes detected as different in heap comparison algorithm
src/xbt/mmalloc/mm_diff.c