From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 14 Jul 2021 06:57:13 +0000 (-0700)
Subject: Add missing space for check macro error messages. (#6875)
X-Git-Tag: cvc5-1.0.0~1494
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2c77d85c05b010a8b456ddd356461d41be09a1ff;p=cvc5.git

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

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)