Merge pull request #8352 from diffblue/cprover-reduce-verbosity

reduce default verbosity of cprover binary

Author: kroening

src/cprover/cprover_parse_options.cpp

@@ -135,6 +135,11 @@ int cprover_parse_optionst::main()
     console_message_handlert message_handler;
     null_message_handlert null_message_handler;
 
+    if(cmdline.isset("verbose"))
+      message_handler.set_verbosity(messaget::M_PROGRESS);
+    else
+      message_handler.set_verbosity(messaget::M_STATUS);
+
     optionst options;
     auto goto_model =
       initialize_goto_model(cmdline.args, message_handler, options);