diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-08-17 08:51:51 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-17 08:51:51 -0700 |
| commit | 33ca2a3f2359493a9154a229a30ad3aa3a21f2aa (patch) | |
| tree | 2faebdb98cff292d4b4cd9aed254a685efada15b /test/unit/theory | |
| parent | 7766f0ba088ad6d6c58ea9678477b255c9e52fee (diff) | |
Remove unused SubrangeBound(s) classes (#221)
As discussed in pull request #220, commit
360d6ee8d3cdd5ddb47c328043eaed3a107b8db1 mostly got rid of SubrangeBound(s).
There were still a few mentions of it left in the code, most of them commented
out. The occurrences in expr.i and expr_manager.i, however, created issues with
the Python wrapper. This commit removes the SubrangeBound(s) implementation and
other leftovers.
Diffstat (limited to 'test/unit/theory')
| -rw-r--r-- | test/unit/theory/type_enumerator_white.h | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/test/unit/theory/type_enumerator_white.h b/test/unit/theory/type_enumerator_white.h index af1d9ab48..76aa3d8af 100644 --- a/test/unit/theory/type_enumerator_white.h +++ b/test/unit/theory/type_enumerator_white.h @@ -142,40 +142,6 @@ public: TS_ASSERT_EQUALS(*++te, d_nm->mkConst(Rational(1, 7))); TS_ASSERT_EQUALS(*++te, d_nm->mkConst(Rational(-1, 7))); TS_ASSERT( ! te.isFinished() ); -/* - // subrange bounded only below - te = TypeEnumerator(d_nm->mkSubrangeType(SubrangeBounds(SubrangeBound(Integer(0)), SubrangeBound()))); - TS_ASSERT( ! te.isFinished() ); - TS_ASSERT_EQUALS(*te, d_nm->mkConst(Rational(0))); - for(int i = 1; i <= 100; ++i) { - TS_ASSERT( ! (++te).isFinished() ); - TS_ASSERT_EQUALS(*te, d_nm->mkConst(Rational(i))); - } - TS_ASSERT( ! te.isFinished() ); - - // subrange bounded only above - te = TypeEnumerator(d_nm->mkSubrangeType(SubrangeBounds(SubrangeBound(), SubrangeBound(Integer(-5))))); - TS_ASSERT( ! te.isFinished() ); - TS_ASSERT_EQUALS(*te, d_nm->mkConst(Rational(-5))); - for(int i = 1; i <= 100; ++i) { - TS_ASSERT( ! (++te).isFinished() ); - TS_ASSERT_EQUALS(*te, d_nm->mkConst(Rational(-5 - i))); - } - TS_ASSERT( ! te.isFinished() ); - - // finite subrange - te = TypeEnumerator(d_nm->mkSubrangeType(SubrangeBounds(SubrangeBound(Integer(-10)), SubrangeBound(Integer(15))))); - TS_ASSERT( ! te.isFinished() ); - TS_ASSERT_EQUALS(*te, d_nm->mkConst(Rational(-10))); - for(int i = -9; i <= 15; ++i) { - TS_ASSERT( ! (++te).isFinished() ); - TS_ASSERT_EQUALS(*te, d_nm->mkConst(Rational(i))); - } - TS_ASSERT( (++te).isFinished() ); - TS_ASSERT_THROWS(*te, NoMoreValuesException); -std::cout<<"here\n"; - TS_ASSERT_THROWS(*++te, NoMoreValuesException); - */ } void testDatatypesFinite() { |