- xbt_assert((xbt_dynar_search(model_list_invoke, &surf_workstation_model)<
- xbt_dynar_search(model_list_invoke, &surf_vm_workstation_model)),
- "Cannot assume surf_workstation_model comes before");
+ ModelPtr ws_model = surf_workstation_model;
+ ModelPtr vm_ws_model = surf_vm_workstation_model;
+ unsigned int index_of_pm_ws_model = xbt_dynar_search(model_list_invoke, &ws_model);
+ unsigned int index_of_vm_ws_model = xbt_dynar_search(model_list_invoke, &vm_ws_model);
+ xbt_assert((index_of_pm_ws_model < index_of_vm_ws_model), "Cannot assume surf_workstation_model comes before");