projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 044e205)
Fix for unit test after changing default "all supported" logic name.
authorClark Barrett <barrett@cs.stanford.edu>
Fri, 18 Nov 2016 23:28:47 +0000 (15:28 -0800)
committerClark Barrett <barrett@cs.stanford.edu>
Fri, 18 Nov 2016 23:29:31 +0000 (15:29 -0800)
test/unit/theory/logic_info_white.h patch | blob | history

diff --git a/test/unit/theory/logic_info_white.h b/test/unit/theory/logic_info_white.h
index 3baa43dff9ff029b2f0e067dd4f16762ac335ebd..e8d297b59119fe8e878cd52ba66665ad86b27a4e 100644 (file)
--- 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 ) );