From 44498017455cce207bf9cb0a1ebbf67c4a4d77cf Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 17 Nov 2012 04:05:17 +0000 Subject: * Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ALL_SUPPORTED logic * Java bindings fixes: fixed access to ostreams, iterators * Make SmtEngine::setUserAttribute() (and others) take a const string& * Also a few compliance fixes (this commit was certified error- and warning-free by the test-and-commit script.) --- test/unit/theory/logic_info_white.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/unit/theory/logic_info_white.h') 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 ) ); -- cgit v1.2.3