diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-07-13 23:57:13 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-14 06:57:13 +0000 |
| commit | 2c77d85c05b010a8b456ddd356461d41be09a1ff (patch) | |
| tree | c108c46a1516284e633c5dbbc98b1aaf4111f86f | |
| parent | 4890b90d346b8382ce2de697e2e086c3e59de774 (diff) | |
Add missing space for check macro error messages. (#6875)
| -rw-r--r-- | src/base/check.h | 8 | ||||
| -rw-r--r-- | 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) |