Merge pull request #5698 from tautschnig/quiet-unit

kroening · web-flow · commit 8ea67e7ce20d · 2020-12-26T18:44:58.000Z
Make SAT checker unit tests quiet
diff --git a/unit/solvers/sat/external_sat.cpp b/unit/solvers/sat/external_sat.cpp
@@ -25,6 +25,7 @@ class external_sat_test : public external_satt
 SCENARIO("external_sat", "[core][solvers][sat][external_sat]")
 {
   console_message_handlert message_handler;
+  message_handler.set_verbosity(0);
 
   GIVEN("External SAT solver is used")
   {
diff --git a/unit/solvers/sat/satcheck_minisat2.cpp b/unit/solvers/sat/satcheck_minisat2.cpp
@@ -20,6 +20,7 @@ Author: Peter Schrammel
 SCENARIO("satcheck_minisat2", "[core][solvers][sat][satcheck_minisat2]")
 {
   console_message_handlert message_handler;
+  message_handler.set_verbosity(0);
 
   GIVEN("A satisfiable formula f")
   {

Original file line number	Diff line number	Diff line change
`@@ -25,6 +25,7 @@ class external_sat_test : public external_satt`
`25`	`25`	`SCENARIO("external_sat", "[core][solvers][sat][external_sat]")`
`26`	`26`	`{`
`27`	`27`	`console_message_handlert message_handler;`
	`28`	`+ message_handler.set_verbosity(0);`
`28`	`29`
`29`	`30`	`GIVEN("External SAT solver is used")`
`30`	`31`	`{`
Original file line number	Diff line number	Diff line change
`@@ -20,6 +20,7 @@ Author: Peter Schrammel`
`20`	`20`	`SCENARIO("satcheck_minisat2", "[core][solvers][sat][satcheck_minisat2]")`
`21`	`21`	`{`
`22`	`22`	`console_message_handlert message_handler;`
	`23`	`+ message_handler.set_verbosity(0);`
`23`	`24`
`24`	`25`	`GIVEN("A satisfiable formula f")`
`25`	`26`	`{`