- MC_ignore_global_variable("mc_model_checker");
- MC_ignore_global_variable("initial_communications_pattern");
- MC_ignore_global_variable("incomplete_communications_pattern");
- MC_ignore_global_variable("nb_comm_pattern");
+ MCer_ignore_global_variable("mc_model_checker");
+ MCer_ignore_global_variable("initial_communications_pattern");
+ MCer_ignore_global_variable("incomplete_communications_pattern");
+ MCer_ignore_global_variable("nb_comm_pattern");