+
+ MC_UNSET_RAW_MEM;
+
+ MC_init_memory_map_info();
+
+ /* Get .plt section (start and end addresses) for data libsimgrid and data program comparison */
+ get_libsimgrid_plt_section();
+ get_binary_plt_section();
+
+ if(raw_mem_set)
+ MC_SET_RAW_MEM;
+
+}
+
+void MC_modelcheck_liveness(){
+
+ raw_mem_set = (mmalloc_get_current_heap() == raw_heap);
+
+ MC_init_liveness();
+
+ MC_SET_RAW_MEM;