[PPL-devel] [GIT] ppl/ppl(master): Avoid printing unless noisy or very-noisy mode was requested.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 1b73c49a9febf62e96f8ee03460e789c8164ee9a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b73c49a9febf62e96f8ee03460e789c8164ee9a

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 22 09:16:06 2010 +0100

Avoid printing unless noisy or very-noisy mode was requested.

---

 interfaces/C/tests/pip_test.c |   10 ++++++----
 1 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/interfaces/C/tests/pip_test.c b/interfaces/C/tests/pip_test.c
index 71f0a68..32fc606 100644
--- a/interfaces/C/tests/pip_test.c
+++ b/interfaces/C/tests/pip_test.c
@@ -21,7 +21,6 @@ For the most up-to-date information see the Parma Polyhedra Library
 site: http://www.cs.unipr.it/ppl/ . */
 
 #include "ppl_c_test.h"
-
 #include <stdio.h>
 #include <stdlib.h>
 #include <stdarg.h>
@@ -62,7 +61,8 @@ display_solution_i(ppl_const_PIP_Tree_Node_t node,
   if (!node) {
     /* A null pointer indicates the polyhedron is empty. */
     printf("%*s_|_\n", indent*2, "");
-  } else {
+  }
+  else {
     ppl_dimension_type space_dimension = n_vars + n_params;
     ppl_dimension_type new_params;
     ppl_const_Constraint_System_t constraints;
@@ -122,7 +122,8 @@ display_solution_i(ppl_const_PIP_Tree_Node_t node,
       printf("%*selse\n", indent*2, "");
       ppl_PIP_Decision_Node_get_child_node(dn, 0, &child);
       display_solution_i(child, n_vars, n_params, vars, parameters, indent+1);
-    } else {
+    }
+    else {
       /* The node is a solution Node: display the expression of the vars. */
       int notfirst = 0;
       ppl_const_PIP_Solution_Node_t sn;
@@ -250,7 +251,8 @@ main(int argc, char **argv) {
 
     ppl_PIP_Problem_space_dimension(pip, &dim);
     ppl_PIP_Problem_solution(pip, &solution);
-    display_solution(solution, N_VARS, N_PARAMETERS, parameter_dim);
+    if (check_noisy() || check_very_noisy())
+      display_solution(solution, N_VARS, N_PARAMETERS, parameter_dim);
     ppl_new_Constraint_System_const_iterator(&begin);
     ppl_new_Constraint_System_const_iterator(&end);
     ppl_new_Constraint_System_from_Constraint(&constraints, ct);