From a8aa2d7d477df7565dc963b9abcb571e8f6d87e2 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Fri, 27 Jun 2014 14:09:21 +0200 Subject: [PATCH 1/1] model-checker : fix visited states reduction with comm determinism verification --- src/mc/mc_comm_determinism.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/mc_comm_determinism.c b/src/mc/mc_comm_determinism.c index ff049896a7..15cc8d1b74 100644 --- a/src/mc/mc_comm_determinism.c +++ b/src/mc/mc_comm_determinism.c @@ -84,7 +84,7 @@ static void deterministic_pattern(xbt_dynar_t pattern, int partial) nb_comms2 = xbt_dynar_length(process_comms_pattern2); if(!xbt_dynar_is_empty((xbt_dynar_t)xbt_dynar_get_as(incomplete_communications_pattern, current_process, xbt_dynar_t))) xbt_die("Damn ! Some communications from the process %u are incomplete (%lu)! That means one or several simcalls are not handle.", current_process, xbt_dynar_length((xbt_dynar_t)xbt_dynar_get_as(incomplete_communications_pattern, current_process, xbt_dynar_t))); - if (partial && (nb_comms1 != nb_comms2)) { + if (!partial && (nb_comms1 != nb_comms2)) { XBT_INFO("The total number of communications is different between the compared patterns for the process %u.\n Communication determinism verification for this process cannot be performed.", current_process); initial_global_state->send_deterministic = -1; initial_global_state->comm_deterministic = -1; -- 2.20.1