model-checker : ignore differences in data segment of binary due to .plt section

[simgrid.git] / src / mc / test / heap_comparison.c

diff --git a/src/mc/test/heap_comparison.c b/src/mc/test/heap_comparison.c
index 60e2222..48d343d 100644 (file)
--- a/src/mc/test/heap_comparison.c
+++ b/src/mc/test/heap_comparison.c
@@ -236,8 +236,9 @@ void MC_test_heap_comparison(){
 
   MC_UNSET_RAW_MEM;
 
-  /* Get .plt section (start and end addresses) for data libsimgrid comparison */
-  get_plt_section();
+  /* Get .plt section (start and end addresses) for data libsimgrid and data program comparison */
+  get_libsimgrid_plt_section();
+  get_binary_plt_section();
 
   test1();