From 2c77d85c05b010a8b456ddd356461d41be09a1ff Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Tue, 13 Jul 2021 23:57:13 -0700 Subject: [PATCH] Add missing space for check macro error messages. (#6875) --- src/base/check.h | 8 ++++---- test/unit/util/assert_white.cpp | 16 ++++++++-------- 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/src/base/check.h b/src/base/check.h index be9de7d29..ac12e2acb 100644 --- a/src/base/check.h +++ b/src/base/check.h @@ -185,13 +185,13 @@ class AssertArgumentException : public Exception }; /* class AssertArgumentException */ -#define Unreachable() CVC5_FATAL() << "Unreachable code reached" +#define Unreachable() CVC5_FATAL() << "Unreachable code reached " -#define Unhandled() CVC5_FATAL() << "Unhandled case encountered" +#define Unhandled() CVC5_FATAL() << "Unhandled case encountered " -#define Unimplemented() CVC5_FATAL() << "Unimplemented code encountered" +#define Unimplemented() CVC5_FATAL() << "Unimplemented code encountered " -#define InternalError() CVC5_FATAL() << "Internal error detected" +#define InternalError() CVC5_FATAL() << "Internal error detected " #define IllegalArgument(arg, msg...) \ throw ::cvc5::IllegalArgumentException( \ diff --git a/test/unit/util/assert_white.cpp b/test/unit/util/assert_white.cpp index 41a5621c4..e55c8e9ba 100644 --- a/test/unit/util/assert_white.cpp +++ b/test/unit/util/assert_white.cpp @@ -52,27 +52,27 @@ TEST_F(TestUtilWhite, AssertArgument) TEST_F(TestUtilWhite, Unreachable) { - ASSERT_DEATH(Unreachable(), "Unreachable code reached"); - ASSERT_DEATH(Unreachable() << "hello", "Unreachable code reachedhello"); + ASSERT_DEATH(Unreachable(), "Unreachable code reached "); + ASSERT_DEATH(Unreachable() << "hello", "Unreachable code reached hello"); ASSERT_DEATH(Unreachable() << "hello " << "world", - "Unreachable code reachedhello world"); + "Unreachable code reached hello world"); } TEST_F(TestUtilWhite, Unhandled) { - ASSERT_DEATH(Unhandled(), "Unhandled case encountered"); - ASSERT_DEATH(Unhandled() << 5, "Unhandled case encountered5"); - ASSERT_DEATH(Unhandled() << "foo", "Unhandled case encounteredfoo"); + ASSERT_DEATH(Unhandled(), "Unhandled case encountered "); + ASSERT_DEATH(Unhandled() << 5, "Unhandled case encountered 5"); + ASSERT_DEATH(Unhandled() << "foo", "Unhandled case encountered foo"); ASSERT_DEATH(Unhandled() << "foo " << "bar" << " baz", - "Unhandled case encounteredfoo bar baz"); + "Unhandled case encountered foo bar baz"); } TEST_F(TestUtilWhite, Unimplemented) { - ASSERT_DEATH(Unimplemented(), "Unimplemented code encountered"); + ASSERT_DEATH(Unimplemented(), "Unimplemented code encountered "); } TEST_F(TestUtilWhite, IllegalArgument) -- 2.30.2