From deb304550fbb6e19346319ec24d83e0650c64e91 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 16 Feb 2013 15:35:16 -0500 Subject: Single -q quiets messages/warnings. Double -qq silences sat/unsat output too. --- NEWS | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'NEWS') diff --git a/NEWS b/NEWS index 445ba9ecf..ba396ad0c 100644 --- a/NEWS +++ b/NEWS @@ -10,5 +10,9 @@ Changes since 1.0 * for printing commands as they're invoked from the driver, you now need verbosity of 3 or higher (e.g. -vvv) instead of verbosity 1 or higher (-v). This allows tracing the solver's activities without having too much output. +* To make CVC4 quieter in abnormal (e.g., "warning" conditions), you can + use -q. Previously, this would silence all output (including "sat" or + "unsat") as well. Now, single -q silences messages and warnings, and + double -qq silences all output (except on exception or signal). --- Morgan Deters Mon, 04 Feb 2013 16:24:20 -0500 +-- Morgan Deters Wed, 20 Feb 2013 18:31:50 -0500 -- cgit v1.2.3