summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnton Khirnov <anton@khirnov.net>2019-04-07 10:20:33 +0200
committerAnton Khirnov <anton@khirnov.net>2019-04-07 10:20:33 +0200
commit8104b98c2c285c43cee0e543d671f74418ca484c (patch)
tree74a22143cb2ae8e64e4ab5c10fa4796913d72349
parentd4c7698ccec7bb0062ab3393874e1813b9081271 (diff)
Print stats for the eval solvers
-rw-r--r--src/maximal_slicing_axi_mg.c5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/maximal_slicing_axi_mg.c b/src/maximal_slicing_axi_mg.c
index abefce5..2601859 100644
--- a/src/maximal_slicing_axi_mg.c
+++ b/src/maximal_slicing_axi_mg.c
@@ -338,6 +338,11 @@ static void print_stats(MSMGContext *ms)
snprintf(indent_buf, sizeof(indent_buf), " [%d] ", i);
mg2d_print_stats(cp->solver, indent_buf);
+
+ for (int j = 0; j < cp->nb_solver_eval; j++) {
+ snprintf(indent_buf, sizeof(indent_buf), " [%d/%d] ", i, j);
+ mg2d_print_stats(cp->solver_eval[j], indent_buf);
+ }
}
ms->log_level = orig_log_level;
}