From: Clark Barrett <barrett@cs.stanford.edu>
Date: Fri, 18 Nov 2016 23:28:47 +0000 (-0800)
Subject: Fix for unit test after changing default "all supported" logic name.
X-Git-Tag: cvc5-1.0.0~5970
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5d7ab3e6f6d14795a0e87cce6efb3cd24f9cedc3;p=cvc5.git

Fix for unit test after changing default "all supported" logic name.
---

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 ) );