diff options
author | Anton Khirnov <anton@khirnov.net> | 2019-04-07 10:20:33 +0200 |
---|---|---|
committer | Anton Khirnov <anton@khirnov.net> | 2019-04-07 10:20:33 +0200 |
commit | 8104b98c2c285c43cee0e543d671f74418ca484c (patch) | |
tree | 74a22143cb2ae8e64e4ab5c10fa4796913d72349 | |
parent | d4c7698ccec7bb0062ab3393874e1813b9081271 (diff) |
Print stats for the eval solvers
-rw-r--r-- | src/maximal_slicing_axi_mg.c | 5 |
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; } |