diff options
Diffstat (limited to 'test/unit/util/output_black.cpp')
| -rw-r--r-- | test/unit/util/output_black.cpp | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/test/unit/util/output_black.cpp b/test/unit/util/output_black.cpp index e951dd114..09991a6d0 100644 --- a/test/unit/util/output_black.cpp +++ b/test/unit/util/output_black.cpp @@ -82,7 +82,7 @@ TEST_F(TestUtilBlackOutput, output) Trace.on("foo"); Trace("foo") << "tracing3"; -#ifdef CVC4_MUZZLE +#ifdef CVC5_MUZZLE ASSERT_EQ(d_debugStream.str(), ""); ASSERT_EQ(d_messageStream.str(), ""); @@ -91,32 +91,32 @@ TEST_F(TestUtilBlackOutput, output) ASSERT_EQ(d_noticeStream.str(), ""); ASSERT_EQ(d_traceStream.str(), ""); -#else /* CVC4_MUZZLE */ +#else /* CVC5_MUZZLE */ -#ifdef CVC4_DEBUG +#ifdef CVC5_DEBUG ASSERT_EQ(d_debugStream.str(), "testing1testing3"); -#else /* CVC4_DEBUG */ +#else /* CVC5_DEBUG */ ASSERT_EQ(d_debugStream.str(), ""); -#endif /* CVC4_DEBUG */ +#endif /* CVC5_DEBUG */ ASSERT_EQ(d_messageStream.str(), "a message"); ASSERT_EQ(d_warningStream.str(), "bad warning!"); ASSERT_EQ(d_chatStream.str(), "chatty"); ASSERT_EQ(d_noticeStream.str(), "note"); -#ifdef CVC4_TRACING +#ifdef CVC5_TRACING ASSERT_EQ(d_traceStream.str(), "tracing1tracing3"); -#else /* CVC4_TRACING */ +#else /* CVC5_TRACING */ ASSERT_EQ(d_traceStream.str(), ""); -#endif /* CVC4_TRACING */ +#endif /* CVC5_TRACING */ -#endif /* CVC4_MUZZLE */ +#endif /* CVC5_MUZZLE */ } TEST_F(TestUtilBlackOutput, evaluation_off_when_it_is_supposed_to_be) { Debug.on("foo"); -#ifndef CVC4_DEBUG +#ifndef CVC5_DEBUG ASSERT_FALSE(Debug.isOn("foo")); Debug("foo") << failure() << std::endl; #else @@ -125,7 +125,7 @@ TEST_F(TestUtilBlackOutput, evaluation_off_when_it_is_supposed_to_be) Debug.off("foo"); Trace.on("foo"); -#ifndef CVC4_TRACING +#ifndef CVC5_TRACING ASSERT_FALSE(Trace.isOn("foo")); Trace("foo") << failure() << std::endl; #else @@ -133,7 +133,7 @@ TEST_F(TestUtilBlackOutput, evaluation_off_when_it_is_supposed_to_be) #endif Trace.off("foo"); -#ifdef CVC4_MUZZLE +#ifdef CVC5_MUZZLE ASSERT_FALSE(Debug.isOn("foo")); ASSERT_FALSE(Trace.isOn("foo")); ASSERT_FALSE(Warning.isOn()); @@ -158,7 +158,7 @@ TEST_F(TestUtilBlackOutput, evaluation_off_when_it_is_supposed_to_be) TEST_F(TestUtilBlackOutput, simple_print) { -#ifdef CVC4_MUZZLE +#ifdef CVC5_MUZZLE Debug.off("yo"); Debug("yo") << "foobar"; @@ -194,7 +194,7 @@ TEST_F(TestUtilBlackOutput, simple_print) ASSERT_EQ(d_noticeStream.str(), std::string()); d_noticeStream.str(""); -#else /* CVC4_MUZZLE */ +#else /* CVC5_MUZZLE */ Debug.off("yo"); Debug("yo") << "foobar"; @@ -202,11 +202,11 @@ TEST_F(TestUtilBlackOutput, simple_print) d_debugStream.str(""); Debug.on("yo"); Debug("yo") << "baz foo"; -#ifdef CVC4_DEBUG +#ifdef CVC5_DEBUG ASSERT_EQ(d_debugStream.str(), std::string("baz foo")); -#else /* CVC4_DEBUG */ +#else /* CVC5_DEBUG */ ASSERT_EQ(d_debugStream.str(), std::string()); -#endif /* CVC4_DEBUG */ +#endif /* CVC5_DEBUG */ d_debugStream.str(""); Trace.off("yo"); @@ -215,11 +215,11 @@ TEST_F(TestUtilBlackOutput, simple_print) d_traceStream.str(""); Trace.on("yo"); Trace("yo") << "baz foo"; -#ifdef CVC4_TRACING +#ifdef CVC5_TRACING ASSERT_EQ(d_traceStream.str(), std::string("baz foo")); -#else /* CVC4_TRACING */ +#else /* CVC5_TRACING */ ASSERT_EQ(d_traceStream.str(), std::string()); -#endif /* CVC4_TRACING */ +#endif /* CVC5_TRACING */ d_traceStream.str(""); Warning() << "baz foo"; @@ -238,7 +238,7 @@ TEST_F(TestUtilBlackOutput, simple_print) ASSERT_EQ(d_noticeStream.str(), std::string("baz foo")); d_noticeStream.str(""); -#endif /* CVC4_MUZZLE */ +#endif /* CVC5_MUZZLE */ } } // namespace test } // namespace cvc5 |