Add missing space for check macro error messages. (#6875)

diff --git a/src/base/check.h b/src/base/check.h
index be9de7d294b1a3d261f92b0b5e7ae4f03ea2e1d1..ac12e2acb2d0cd7015c30fbeca2da998f187396e 100644 (file)
--- 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 41a5621c4b156b1dfac2fd65cac3e5e765ad270e..e55c8e9baf31720d02f05284436860c46367ca04 100644 (file)
--- 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)