diff options
Diffstat (limited to 'test/unit/theory/logic_info_white.h')
| -rw-r--r-- | test/unit/theory/logic_info_white.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/theory/logic_info_white.h b/test/unit/theory/logic_info_white.h index 430a2a164..a6b64c547 100644 --- a/test/unit/theory/logic_info_white.h +++ b/test/unit/theory/logic_info_white.h @@ -474,7 +474,7 @@ public: info.lock(); TS_ASSERT( info.isLocked() ); - TS_ASSERT_EQUALS( info.getLogicString(), "AUFBVDTLIRA" );// for now, nonlinear not included in ALL_SUPPORTED + TS_ASSERT_EQUALS( info.getLogicString(), "ALL_SUPPORTED" ); TS_ASSERT( info.isSharingEnabled() ); TS_ASSERT( info.isTheoryEnabled( THEORY_BUILTIN ) ); TS_ASSERT( info.isTheoryEnabled( THEORY_BOOL ) ); |