model-checker : add example centralized_liveness in CMakeLists.txt

[simgrid.git] / testsuite / surf / maxmin_bench.c

diff --git a/testsuite/surf/maxmin_bench.c b/testsuite/surf/maxmin_bench.c
index 29b886c8bf5c7fcc16e223eea9eea55bfceb7bb2..149f273555ca5f3bcd42a99e190a111a7b4884b5 100644 (file)
--- a/testsuite/surf/maxmin_bench.c
+++ b/testsuite/surf/maxmin_bench.c
@@ -66,6 +66,8 @@ void test(int nb_cnst, int nb_var, int nb_elem)
   lmm_solve(Sys);
   date = xbt_os_time() * 1000000 - date;
 
+  for (i = 0; i < nb_var; i++)
+    lmm_variable_free(Sys, var[i]);
   lmm_system_free(Sys);
   free(cnst);
   free(var);