+ if (process_index >= (int) MC_smpi_process_count())
+ xbt_die("Invalid process index");
+
+ // Read smpi_privatisation_regions from MCed:
+ smpi_privatisation_region_t remote_smpi_privatisation_regions =
+ mc_model_checker->process().read_variable<smpi_privatisation_region_t>(
+ "smpi_privatisation_regions");
+
+ s_smpi_privatisation_region_t privatisation_region =
+ mc_model_checker->process().read<s_smpi_privatisation_region_t>(
+ remote(remote_smpi_privatisation_regions + process_index));
+