diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-07-05 16:07:04 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-07-05 16:07:04 -0500 |
commit | ad3d7ccf4be2d59b6f7b60b593dd2c30445828ec (patch) | |
tree | 9808e7476adb58cc0ac6afb656fdc3ef06d388a3 /test/unit/theory/logic_info_white.h | |
parent | b329aff2cdee935377cbe88c289d083fb10c2af8 (diff) |
Update unit test, news.
Diffstat (limited to 'test/unit/theory/logic_info_white.h')
-rw-r--r-- | test/unit/theory/logic_info_white.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test/unit/theory/logic_info_white.h b/test/unit/theory/logic_info_white.h index e8d297b59..a3e632be2 100644 --- a/test/unit/theory/logic_info_white.h +++ b/test/unit/theory/logic_info_white.h @@ -420,7 +420,7 @@ public: TS_ASSERT( info.isTheoryEnabled( THEORY_BV ) ); TS_ASSERT( info.isTheoryEnabled( THEORY_DATATYPES ) ); TS_ASSERT( info.isTheoryEnabled( THEORY_BOOL ) ); - TS_ASSERT( info.isLinear() );// for now, nonlinear not included in ALL_SUPPORTED + TS_ASSERT( !info.isLinear() ); TS_ASSERT( info.areIntegersUsed() ); TS_ASSERT( !info.isDifferenceLogic() ); TS_ASSERT( info.areRealsUsed() ); @@ -438,7 +438,7 @@ public: TS_ASSERT( info.isTheoryEnabled( THEORY_BV ) ); TS_ASSERT( info.isTheoryEnabled( THEORY_DATATYPES ) ); TS_ASSERT( info.isTheoryEnabled( THEORY_BOOL ) ); - TS_ASSERT( info.isLinear() );// for now, nonlinear not included in ALL_SUPPORTED + TS_ASSERT( !info.isLinear() ); TS_ASSERT( info.areIntegersUsed() ); TS_ASSERT( !info.isDifferenceLogic() ); TS_ASSERT( info.areRealsUsed() ); @@ -470,7 +470,7 @@ public: TS_ASSERT_THROWS( info.isQuantified(), CVC4::IllegalArgumentException ); TS_ASSERT_THROWS( info.areIntegersUsed(), CVC4::IllegalArgumentException ); TS_ASSERT_THROWS( info.areRealsUsed(), CVC4::IllegalArgumentException ); - TS_ASSERT_THROWS( info.isLinear(), CVC4::IllegalArgumentException );// for now, nonlinear not included in ALL_SUPPORTED + TS_ASSERT_THROWS( !info.isLinear(), CVC4::IllegalArgumentException ); info.lock(); TS_ASSERT( info.isLocked() ); @@ -495,7 +495,7 @@ public: TS_ASSERT( info.isQuantified() ); TS_ASSERT( info.areIntegersUsed() ); TS_ASSERT( info.areRealsUsed() ); - TS_ASSERT( info.isLinear() );// for now, nonlinear not included in ALL_SUPPORTED + TS_ASSERT( !info.isLinear() ); TS_ASSERT_THROWS( info.arithOnlyLinear(), CVC4::IllegalArgumentException ); TS_ASSERT_THROWS( info.disableIntegers(), CVC4::IllegalArgumentException ); @@ -596,7 +596,7 @@ public: TS_ASSERT( info.isTheoryEnabled( THEORY_BV ) ); TS_ASSERT( info.isTheoryEnabled( THEORY_DATATYPES ) ); TS_ASSERT( info.isTheoryEnabled( THEORY_BOOL ) ); - TS_ASSERT( info.isLinear() );// for now, nonlinear not included in ALL_SUPPORTED + TS_ASSERT( !info.isLinear() ); TS_ASSERT( info.areIntegersUsed() ); TS_ASSERT( !info.isDifferenceLogic() ); TS_ASSERT( info.areRealsUsed() ); @@ -615,7 +615,7 @@ public: TS_ASSERT( info.isTheoryEnabled( THEORY_BV ) ); TS_ASSERT( info.isTheoryEnabled( THEORY_DATATYPES ) ); TS_ASSERT( info.isTheoryEnabled( THEORY_BOOL ) ); - TS_ASSERT( info.isLinear() );// for now, nonlinear not included in ALL_SUPPORTED + TS_ASSERT( !info.isLinear() ); TS_ASSERT( info.areIntegersUsed() ); TS_ASSERT( !info.isDifferenceLogic() ); TS_ASSERT( info.areRealsUsed() ); |