/* Wait for requests (schedules processes) */
MC_wait_for_requests();
- if (_sg_mc_visited > 0) {
- MC_ignore_heap(simix_global->process_to_run->data, 0);
- MC_ignore_heap(simix_global->process_that_ran->data, 0);
- }
-
MC_SET_MC_HEAP;
/* Get an enabled process and insert it in the interleave set of the initial state */
MC_ignore_global_variable("maestro_stack_end");
MC_ignore_global_variable("smx_total_comms");
- MC_ignore_heap(&(simix_global->process_to_run),
- sizeof(simix_global->process_to_run));
- MC_ignore_heap(&(simix_global->process_that_ran),
- sizeof(simix_global->process_that_ran));
- MC_ignore_heap(simix_global->process_to_run,
- sizeof(*(simix_global->process_to_run)));
- MC_ignore_heap(simix_global->process_that_ran,
- sizeof(*(simix_global->process_that_ran)));
MC_ignore_heap(mc_time, simix_process_maxpid * sizeof(double));
smx_process_t process;
MC_wait_for_requests();
- MC_ignore_heap(simix_global->process_to_run->data, 0);
- MC_ignore_heap(simix_global->process_that_ran->data, 0);
-
MC_SET_MC_HEAP;
acceptance_pairs = xbt_dynar_new(sizeof(mc_visited_pair_t), NULL);
/* Wait for requests (schedules processes) */
MC_wait_for_requests();
- if (_sg_mc_visited > 0) {
- MC_ignore_heap(simix_global->process_to_run->data, 0);
- MC_ignore_heap(simix_global->process_that_ran->data, 0);
- }
-
MC_SET_MC_HEAP;
/* Get an enabled process and insert it in the interleave set of the initial state */