Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore differences in data segment of binary due to .plt section
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 6 Oct 2012 18:14:09 +0000 (20:14 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 6 Oct 2012 18:38:48 +0000 (20:38 +0200)
commitae7eb908102a9049410dd066d4a6c521344bac28
tree3b6bd3a31244ad033b01c796157afe53c448ab90
parentcf1a2c1e1319fec0974567e51be83e828ddfc7e4
model-checker : ignore differences in data segment of binary due to .plt section
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_liveness.c
src/mc/mc_private.h
src/mc/test/heap_comparison.c