diff options
Diffstat (limited to 'test/unit/util/configuration_black.cpp')
-rw-r--r-- | test/unit/util/configuration_black.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/util/configuration_black.cpp b/test/unit/util/configuration_black.cpp index a651085c6..0b54af43a 100644 --- a/test/unit/util/configuration_black.cpp +++ b/test/unit/util/configuration_black.cpp @@ -77,7 +77,7 @@ TEST_F(TestUtilBlackConfiguration, static_flags) TEST_F(TestUtilBlackConfiguration, package_name) { - ASSERT_EQ(Configuration::getPackageName(), "cvc4"); + ASSERT_EQ(Configuration::getPackageName(), "cvc5"); } TEST_F(TestUtilBlackConfiguration, versions) |