From 29258e0c8573ba947dab86f18ae5b7b84c44a5e3 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 3 Jan 2022 17:37:47 -0800 Subject: [PATCH] api: Add unit test for null case of Sort::toString(). (#7865) --- test/unit/api/cpp/sort_black.cpp | 5 +++++ 1 file changed, 5 insertions(+) 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 -- 2.30.2