From 6fc9b4f557c9d004ef9976e34e22d56ed8b19b1b Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Tue, 1 Oct 2013 10:51:15 +0200 Subject: [PATCH 1/1] model-checker : fix removal of a visited pair in liveness MC --- src/mc/mc_liveness.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index 2b3e32e595..6f977cdf88 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -321,13 +321,13 @@ static int is_visited_pair(mc_pair_t pair){ } if(xbt_dynar_length(visited_pairs) > _sg_mc_visited){ - int min = mc_stats->expanded_states; + int min2 = mc_stats->expanded_pairs; unsigned int cursor2 = 0; unsigned int index2 = 0; xbt_dynar_foreach(visited_pairs, cursor2, pair_test){ - if(pair_test->num < min){ - index = cursor2; - min = pair_test->num; + if(pair_test->num < min2){ + index2 = cursor2; + min2 = pair_test->num; } } xbt_dynar_remove_at(visited_pairs, index2, &pair_test); -- 2.20.1