mc_list_comm_pattern_t list_process_comm;
unsigned int cursor;
- xbt_dynar_foreach(initial_communications_pattern, cursor, list_process_comm){
+ xbt_dynar_foreach(initial_communications_pattern, cursor, list_process_comm)
list_process_comm->index_comm = (int)xbt_dynar_get_as(state->index_comm, cursor, int);
- }
- for (unsigned i = 0; i < MC_smx_get_maxpid(); i++) {
+ for (unsigned i = 0; i < MC_smx_get_maxpid(); i++)
MC_patterns_copy(
xbt_dynar_get_as(incomplete_communications_pattern, i, xbt_dynar_t),
xbt_dynar_get_as(state->incomplete_comm_pattern, i, xbt_dynar_t)
);
- }
}
void MC_state_copy_incomplete_communications_pattern(mc_state_t state)
state->index_comm = xbt_dynar_new(sizeof(unsigned int), nullptr);
mc_list_comm_pattern_t list_process_comm;
unsigned int cursor;
- xbt_dynar_foreach(initial_communications_pattern, cursor, list_process_comm){
+ xbt_dynar_foreach(initial_communications_pattern, cursor, list_process_comm)
xbt_dynar_push_as(state->index_comm, unsigned int, list_process_comm->index_comm);
- }
}
void MC_handle_comm_pattern(