From 75840f2cdbae984b040060e55903f069a225e9f0 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 26 Jun 2014 17:50:45 +0200 Subject: [PATCH 1/1] model-checker : minor fix in comments --- src/mc/mc_liveness.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index b45b279bd6..4717fcd02c 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -240,7 +240,7 @@ void MC_pre_modelcheck_liveness(void) initial_pair->graph_state = MC_state_new(); initial_pair->atomic_propositions = get_atomic_propositions_values(); - /* Get enabled process and insert it in the interleave set of the graph_state */ + /* Get enabled processes and insert them in the interleave set of the graph_state */ xbt_swag_foreach(process, simix_global->process_list) { if (MC_process_is_enabled(process)) { MC_state_interleave_process(initial_pair->graph_state, process); @@ -423,7 +423,7 @@ void MC_modelcheck_liveness() next_pair->automaton_state = transition_succ->dst; next_pair->atomic_propositions = get_atomic_propositions_values(); - /* Get enabled process and insert it in the interleave set of the next graph_state */ + /* Get enabled processes and insert them in the interleave set of the next graph_state */ xbt_swag_foreach(process, simix_global->process_list) { if (MC_process_is_enabled(process)) { MC_state_interleave_process(next_pair->graph_state, process); -- 2.20.1