From cda967ead20531454ff023d313fb8ebd7f0ca43c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 16 Sep 2016 15:36:40 -0700 Subject: [PATCH] guard verbose output by verbosity level for datalog command-line tool Signed-off-by: Nikolaj Bjorner --- src/shell/datalog_frontend.cpp | 36 ++++++++++++++++++---------------- 1 file changed, 19 insertions(+), 17 deletions(-) diff --git a/src/shell/datalog_frontend.cpp b/src/shell/datalog_frontend.cpp index 43ef383d2..83b900c5c 100644 --- a/src/shell/datalog_frontend.cpp +++ b/src/shell/datalog_frontend.cpp @@ -67,25 +67,27 @@ static void display_statistics( p.set_uint("profile_milliseconds_threshold", 100); ctx.updt_params(p); - out << "--------------\n"; - out << "original rules\n"; - orig_rules.display(out); + IF_VERBOSE(2, + out << "--------------\n"; + out << "original rules\n"; + orig_rules.display(out); + + out << "---------------\n"; + out << "generated rules\n"; + ctx.display_rules(out); - out << "---------------\n"; - out << "generated rules\n"; - ctx.display_rules(out); - - out << "--------------\n"; - out << "instructions \n"; - code.display(ex_ctx, out); - - out << "--------------\n"; - out << "big relations \n"; - ex_ctx.report_big_relations(1000, out); + out << "--------------\n"; + out << "instructions \n"; + code.display(ex_ctx, out); + + out << "--------------\n"; + out << "big relations \n"; + ex_ctx.report_big_relations(1000, out);); } - out << "--------------\n"; - out << "relation sizes\n"; - ctx.get_rel_context()->get_rmanager().display_relation_sizes(out); + IF_VERBOSE(2, + out << "--------------\n"; + out << "relation sizes\n"; + ctx.get_rel_context()->get_rmanager().display_relation_sizes(out);); if (verbose) { out << "--------------\n";