From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 4 Jan 2022 01:37:47 +0000 (-0800)
Subject: api: Add unit test for null case of Sort::toString(). (#7865)
X-Git-Tag: cvc5-1.0.0~612
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=29258e0c8573ba947dab86f18ae5b7b84c44a5e3;p=cvc5.git

api: Add unit test for null case of Sort::toString(). (#7865)
---

diff --git a/test/unit/api/cpp/sort_black.cpp b/test/unit/api/cpp/sort_black.cpp
index 108b24670..911a151e7 100644
--- a/test/unit/api/cpp/sort_black.cpp
+++ b/test/unit/api/cpp/sort_black.cpp
@@ -626,5 +626,10 @@ TEST_F(TestApiBlackSort, sortScopedToString)
   ASSERT_EQ(uninterp_sort.toString(), name);
 }
 
+TEST_F(TestApiBlackSort, toString)
+{
+  ASSERT_NO_THROW(Sort().toString());
+}
+
 }  // namespace test
 }  // namespace cvc5