diff options
Diffstat (limited to 'test/unit/theory/logic_info_white.cpp')
| -rw-r--r-- | test/unit/theory/logic_info_white.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/theory/logic_info_white.cpp b/test/unit/theory/logic_info_white.cpp index e51929cad..7a6e34abb 100644 --- a/test/unit/theory/logic_info_white.cpp +++ b/test/unit/theory/logic_info_white.cpp @@ -500,7 +500,7 @@ TEST_F(TestTheoryWhiteLogicInfo, smtlib_logics) ASSERT_FALSE(info.hasEverything()); ASSERT_FALSE(info.hasNothing()); - info = LogicInfo("QF_ALL_SUPPORTED"); + info = LogicInfo("QF_ALL"); ASSERT_TRUE(info.isLocked()); ASSERT_FALSE(info.isPure(THEORY_BOOL)); ASSERT_TRUE(info.isSharingEnabled()); @@ -519,7 +519,7 @@ TEST_F(TestTheoryWhiteLogicInfo, smtlib_logics) ASSERT_FALSE(info.hasEverything()); ASSERT_FALSE(info.hasNothing()); - info = LogicInfo("ALL_SUPPORTED"); + info = LogicInfo("ALL"); ASSERT_TRUE(info.isLocked()); ASSERT_FALSE(info.isPure(THEORY_BOOL)); ASSERT_TRUE(info.isSharingEnabled()); |