- unsigned int cursor;
- mc_comm_pattern_t comm;
- xbt_dynar_foreach(source, cursor, comm) {
- mc_comm_pattern_t copy_comm = MC_comm_pattern_dup(comm);
- xbt_dynar_push(dest, ©_comm);
- }
-}
-
-void MC_restore_communications_pattern(mc_state_t state)
-{
- mc_list_comm_pattern_t list_process_comm;
- unsigned int cursor;
-
- 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++) {
- 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)
- );
- }
+ for (unsigned i = 0; i < MC_smx_get_maxpid(); i++)
+ MC_patterns_copy(incomplete_communications_pattern[i], state->incomplete_comm_pattern[i]);