X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d25ee31741e8dd64436721b11fe82a0969f369cf..1c0662ce683e29ed5498a7ed4f961d152a1e1ba5:/src/surf/maxmin.c

diff --git a/src/surf/maxmin.c b/src/surf/maxmin.c
index ff9998267f..e5d548fc02 100644
--- a/src/surf/maxmin.c
+++ b/src/surf/maxmin.c
@@ -10,6 +10,8 @@
 #include "xbt/error.h"
 #include "maxmin_private.h"
 #include <stdlib.h>
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(maxmin, surf,
+				"Logging specific to the SURF maxmin module");
 
 lmm_system_t lmm_system_new(void)
 {
@@ -77,8 +79,8 @@ static void lmm_var_free(lmm_system_t sys, lmm_variable_t var)
 
 static void lmm_cnst_free(lmm_system_t sys, lmm_constraint_t cnst)
 {
-/*   xbt_assert0(xbt_fifo_size(&(cnst->row)), */
-/* 		 "This list should be empty!"); */
+  xbt_assert0(xbt_swag_size(&(cnst->element_set)),
+	      "This list should be empty!");
   remove_active_constraint(sys, cnst);
   xbt_free(cnst);
 }
@@ -146,8 +148,8 @@ void lmm_expand(lmm_system_t sys, lmm_constraint_t cnst,
 
   sys->modified = 1;
 
-  if (var->cnsts_number >= var->cnsts_size)
-    abort();
+  xbt_assert0(var->cnsts_number >= var->cnsts_size,
+	      "Too much constraints");
 
   elem = &(var->cnsts[var->cnsts_number++]);