From 89edccc4eb98274e36279f5940ce8b4a0e887f4b Mon Sep 17 00:00:00 2001 From: Arnaud Legrand Date: Wed, 18 Feb 2015 10:04:45 +0100 Subject: [PATCH 1/1] Improve error message --- src/surf/maxmin.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/surf/maxmin.cpp b/src/surf/maxmin.cpp index cd74d2a97d..7a42307469 100644 --- a/src/surf/maxmin.cpp +++ b/src/surf/maxmin.cpp @@ -785,7 +785,7 @@ void lmm_solve(lmm_system_t sys) saturated_constraint_set->pos = 0; int pos; for(pos=0; posactive_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:) 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, -- 2.20.1