From ca6abe0d265dbe49de8f506e201218b632bd82cb Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 3 Oct 2013 19:39:33 +0200 Subject: [PATCH] model-checker : fix sort of acceptance pairs --- src/mc/mc_liveness.c | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index 6f977cdf88..e62c1f68c5 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -203,10 +203,15 @@ static void set_acceptance_pair_reached(mc_pair_t pair){ } } - if(bytes_used_test < current_bytes_used) - xbt_dynar_insert_at(acceptance_pairs, cursor + 1, &pair); - else - xbt_dynar_insert_at(acceptance_pairs, cursor, &pair); + if(pair_test->nb_processes < pair->nb_processes){ + xbt_dynar_insert_at(acceptance_pairs, cursor+1, &pair); + }else{ + if(pair_test->heap_bytes_used < pair->heap_bytes_used) + xbt_dynar_insert_at(acceptance_pairs, cursor + 1, &pair); + else + xbt_dynar_insert_at(acceptance_pairs, cursor, &pair); + } + } if(!raw_mem_set) -- 2.20.1