diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2016-11-18 15:28:47 -0800 |
---|---|---|
committer | Clark Barrett <barrett@cs.stanford.edu> | 2016-11-18 15:29:31 -0800 |
commit | 5d7ab3e6f6d14795a0e87cce6efb3cd24f9cedc3 (patch) | |
tree | e9715191c15d8050d290b57f52d5ed80b1468646 /test/unit | |
parent | 044e20567fa7252be33aa0108b2f795b8181fb04 (diff) |
Fix for unit test after changing default "all supported" logic name.
Diffstat (limited to 'test/unit')
-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 3baa43dff..e8d297b59 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(), "ALL_SUPPORTED" ); + TS_ASSERT_EQUALS( info.getLogicString(), "ALL" ); TS_ASSERT( info.isSharingEnabled() ); TS_ASSERT( info.isTheoryEnabled( THEORY_BUILTIN ) ); TS_ASSERT( info.isTheoryEnabled( THEORY_BOOL ) ); |