}
int MC_compare_snapshots(void *s1, void *s2){
+
+ MC_ignore_stack("self", "simcall_BODY_mc_snapshot");
return simcall_mc_compare_snapshots(s1, s2);
get_libsimgrid_plt_section();
get_binary_plt_section();
+ MC_ignore_data_bss(&end_raw_heap, sizeof(end_raw_heap));
+
/* Get global variables */
MC_get_global_variables(xbt_binary_name);
MC_get_global_variables(libsimgrid_path);
MC_ignore_stack("__ex_cleanup", "*");
MC_ignore_stack("__ex_mctx_en", "*");
MC_ignore_stack("__ex_mctx_me", "*");
+ MC_ignore_stack("__xbt_ex_ctx_ptr", "*");
MC_ignore_stack("_log_ev", "*");
MC_ignore_stack("_throw_ctx", "*");
MC_ignore_stack("ctx", "*");
-
if(raw_mem_set)
MC_SET_RAW_MEM;