From 1220a3e5916c35ba307f7a7eb48a2820bab961cd Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Sun, 18 Nov 2012 19:29:23 +0100 Subject: [PATCH] model-checker : fix insertion in mc_data_bss_comparion --- src/mc/mc_global.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 02f152660b..ae9f437c1d 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -805,7 +805,7 @@ void MC_ignore_data_bss(void *address, size_t size){ var->address = address; var->size = size; - if(current_var->address > address) + if(current_var->address < address) xbt_dynar_insert_at(mc_data_bss_comparison_ignore, cursor + 1, &var); else xbt_dynar_insert_at(mc_data_bss_comparison_ignore, cursor, &var); -- 2.20.1