diff options
Diffstat (limited to 'test/unit/theory/logic_info_white.h')
| -rw-r--r-- | test/unit/theory/logic_info_white.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/unit/theory/logic_info_white.h b/test/unit/theory/logic_info_white.h index efc7c5582..1d363ec9c 100644 --- a/test/unit/theory/logic_info_white.h +++ b/test/unit/theory/logic_info_white.h @@ -28,6 +28,8 @@ class LogicInfoWhite : public CxxTest::TestSuite { public: +#warning "This test is of questionable compatiblity with contrib/new-theory. Is the new theory id handled correctly by the Logic info." + void testSmtlibLogics() { LogicInfo info("QF_SAT"); TS_ASSERT( info.isLocked() ); @@ -1300,4 +1302,3 @@ public: } };/* class LogicInfoWhite */ - |