Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Improve error message
authorArnaud Legrand <arnaud.legrand@imag.fr>
Wed, 18 Feb 2015 09:04:45 +0000 (10:04 +0100)
committerArnaud Legrand <arnaud.legrand@imag.fr>
Wed, 18 Feb 2015 09:04:45 +0000 (10:04 +0100)
src/surf/maxmin.cpp

index cd74d2a..7a42307 100644 (file)
@@ -785,7 +785,7 @@ void lmm_solve(lmm_system_t sys)
     saturated_constraint_set->pos = 0;
     int pos;
     for(pos=0; pos<cnst_light_num; pos++){
     saturated_constraint_set->pos = 0;
     int pos;
     for(pos=0; pos<cnst_light_num; pos++){
-       xbt_assert(cnst_light_tab[pos].cnst->active_element_set.count>0, "Cannot saturate more a constraint that has no active element! You want to check the maxmin precision and possible rounding effects." );
+      xbt_assert(cnst_light_tab[pos].cnst->active_element_set.count>0, "Cannot saturate more a constraint that has no active element! You may want to change the maxmin precision (--cfg=maxmin/precision:<new_value>) because of possible rounding effects.\n\tFor the record, the usage of this constraint is %g while the maxmin precision to which it is compared is %g.\n\tThe usage of the previous constraint is %g.", cnst_light_tab[pos].cnst->usage, sg_maxmin_precision, cnst_light_tab[pos-1].cnst->usage);
       saturated_constraint_set_update(
           cnst_light_tab[pos].remaining_over_usage,
           pos,
       saturated_constraint_set_update(
           cnst_light_tab[pos].remaining_over_usage,
           pos,