+ test infrastructure fixes

+ regenerate configure script
+ add CVC4::Message output class
+ add some IllegalArgument() assertion things
+ rename NodeManager::mkExpr() to mkNode()

1 files changed, 2 insertions, 0 deletions

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 4e408823f..187a0f316 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -81,6 +81,7 @@ int main(int argc, char *argv[]) {
       Trace.setStream(CVC4::null_os);
       Notice.setStream(CVC4::null_os);
       Chat.setStream(CVC4::null_os);
+      Message.setStream(CVC4::null_os);
       Warning.setStream(CVC4::null_os);
     } else {
       if(options.verbosity < 2) {
@@ -90,6 +91,7 @@ int main(int argc, char *argv[]) {
         Notice.setStream(CVC4::null_os);
       }
       if(options.verbosity < 0) {
+        Message.setStream(CVC4::null_os);
         Warning.setStream(CVC4::null_os);
       }
     }