- if(cpu_update_mechanism == UM_LAZY)
- surf_cpu_model->model_private->share_resources = cpu_share_resources_lazy;
- else if (cpu_update_mechanism == UM_FULL)
- surf_cpu_model->model_private->share_resources = cpu_share_resources_full;
- else
- xbt_die("Invalide update mechanism!");
-
- if(cpu_update_mechanism == UM_LAZY)
- surf_cpu_model->model_private->update_actions_state = cpu_update_actions_state_lazy;
- else if(cpu_update_mechanism == UM_FULL)
- surf_cpu_model->model_private->update_actions_state = cpu_update_actions_state_full;
- else
- xbt_die("Incompatible optimization mode");
+ if (cpu_update_mechanism == UM_LAZY) {
+ surf_cpu_model->model_private->share_resources =
+ cpu_share_resources_lazy;
+ surf_cpu_model->model_private->update_actions_state =
+ cpu_update_actions_state_lazy;
+ } else if (cpu_update_mechanism == UM_FULL) {
+ surf_cpu_model->model_private->share_resources =
+ cpu_share_resources_full;
+ surf_cpu_model->model_private->update_actions_state =
+ cpu_update_actions_state_full;
+ } else
+ xbt_die("Invalid update mechanism!");