diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-12-02 14:24:52 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-02 14:24:52 -0800 |
commit | a9eaeb438882abd6d06be41c6fcb87f4f04bcc8c (patch) | |
tree | af6188637ea86feb9f6bc6595740a2d5129893fb /test/unit/util | |
parent | 768157d3bf78337a603004a2a47026ecf1b70612 (diff) |
Rename macro Message to CVC4Message. (#5576)
Diffstat (limited to 'test/unit/util')
-rw-r--r-- | test/unit/util/output_black.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/unit/util/output_black.h b/test/unit/util/output_black.h index 5d6098060..00580de63 100644 --- a/test/unit/util/output_black.h +++ b/test/unit/util/output_black.h @@ -61,7 +61,7 @@ class OutputBlack : public CxxTest::TestSuite { Debug.on("foo"); Debug("foo") << "testing3"; - Message() << "a message"; + CVC4Message() << "a message"; Warning() << "bad warning!"; Chat() << "chatty"; Notice() << "note"; @@ -136,7 +136,7 @@ class OutputBlack : public CxxTest::TestSuite { TS_ASSERT( !( Debug.isOn("foo") ) ); TS_ASSERT( !( Trace.isOn("foo") ) ); TS_ASSERT( !( Warning.isOn() ) ); - TS_ASSERT( !( Message.isOn() ) ); + TS_ASSERT(!(CVC4Message.isOn())); TS_ASSERT( !( Notice.isOn() ) ); TS_ASSERT( !( Chat.isOn() ) ); @@ -147,7 +147,7 @@ class OutputBlack : public CxxTest::TestSuite { cout << "warning" << std::endl; Warning() << failure() << endl; cout << "message" << std::endl; - Message() << failure() << endl; + CVC4Message() << failure() << endl; cout << "notice" << std::endl; Notice() << failure() << endl; cout << "chat" << std::endl; @@ -185,7 +185,7 @@ class OutputBlack : public CxxTest::TestSuite { TS_ASSERT_EQUALS(d_chatStream.str(), string()); d_chatStream.str(""); - Message() << "baz foo"; + CVC4Message() << "baz foo"; TS_ASSERT_EQUALS(d_messageStream.str(), string()); d_messageStream.str(""); @@ -229,7 +229,7 @@ class OutputBlack : public CxxTest::TestSuite { TS_ASSERT_EQUALS(d_chatStream.str(), string("baz foo")); d_chatStream.str(""); - Message() << "baz foo"; + CVC4Message() << "baz foo"; TS_ASSERT_EQUALS(d_messageStream.str(), string("baz foo")); d_messageStream.str(""); |