Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cosmetic
[simgrid.git] / src / surf / maxmin.c
index ff99982..e5d548f 100644 (file)
@@ -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++]);