From a2c25e0bae01a59891fac21447f3210ba26302c5 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Fri, 17 Jun 2011 09:13:40 +0200 Subject: [PATCH] model-checker : rename file mc_dfs -> mc_liveness --- src/mc/{mc_dfs.c => mc_liveness.c} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename src/mc/{mc_dfs.c => mc_liveness.c} (99%) diff --git a/src/mc/mc_dfs.c b/src/mc/mc_liveness.c similarity index 99% rename from src/mc/mc_dfs.c rename to src/mc/mc_liveness.c index a869fd2844..f01ccb9d42 100644 --- a/src/mc/mc_dfs.c +++ b/src/mc/mc_liveness.c @@ -344,7 +344,7 @@ void MC_dfs(xbt_automaton_t a, int search_cycle, int restore){ /* Get enabled process and insert it in the interleave set of the next graph_state */ xbt_swag_foreach(process, simix_global->process_list){ if(MC_process_is_enabled(process)){ - //XBT_DEBUG("Pid : %lu", process->pid); + XBT_DEBUG("Pid : %lu", process->pid); MC_state_interleave_process(next_graph_state, process); } } -- 2.20.1