diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-03-09 16:32:40 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-10 00:32:40 +0000 |
| commit | 4c6e0a7325034547dea92a440476035318ed33b4 (patch) | |
| tree | 46990b82ab23e86911a83b93bc459fb99627dcdb | |
| parent | 080601a885e256040e5662ef02c2ef7ee42ab264 (diff) | |
test: Fix missing std::. (#6096)
| -rw-r--r-- | test/unit/util/output_black.cpp | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test/unit/util/output_black.cpp b/test/unit/util/output_black.cpp index c9da858d1..48b1d4087 100644 --- a/test/unit/util/output_black.cpp +++ b/test/unit/util/output_black.cpp @@ -118,7 +118,7 @@ TEST_F(TestUtilBlackOutput, evaluation_off_when_it_is_supposed_to_be) Debug.on("foo"); #ifndef CVC4_DEBUG ASSERT_FALSE(Debug.isOn("foo")); - Debug("foo") << failure() << endl; + Debug("foo") << failure() << std::endl; #else ASSERT_TRUE(Debug.isOn("foo")); #endif @@ -127,7 +127,7 @@ TEST_F(TestUtilBlackOutput, evaluation_off_when_it_is_supposed_to_be) Trace.on("foo"); #ifndef CVC4_TRACING ASSERT_FALSE(Trace.isOn("foo")); - Trace("foo") << failure() << endl; + Trace("foo") << failure() << std::endl; #else ASSERT_TRUE(Trace.isOn("foo")); #endif @@ -142,17 +142,17 @@ TEST_F(TestUtilBlackOutput, evaluation_off_when_it_is_supposed_to_be) ASSERT_FALSE(Chat.isOn()); cout << "debug" << std::endl; - Debug("foo") << failure() << endl; + Debug("foo") << failure() << std::endl; cout << "trace" << std::endl; - Trace("foo") << failure() << endl; + Trace("foo") << failure() << std::endl; cout << "warning" << std::endl; - Warning() << failure() << endl; + Warning() << failure() << std::endl; cout << "message" << std::endl; - CVC4Message() << failure() << endl; + CVC4Message() << failure() << std::endl; cout << "notice" << std::endl; - Notice() << failure() << endl; + Notice() << failure() << std::endl; cout << "chat" << std::endl; - Chat() << failure() << endl; + Chat() << failure() << std::endl; #endif } |