diff options
author | Tim King <taking@cs.nyu.edu> | 2012-05-15 19:01:19 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-05-15 19:01:19 +0000 |
commit | 488ae3f42d9d3e06978e11a42d1d47e76072f797 (patch) | |
tree | f466859889ceee9947e20d695fd35f99065277f8 /test/unit/expr/expr_public.h | |
parent | fe2088f892af594765fc50d8cc9f2b4f87286b7c (diff) |
This commit removes the CONST_INTEGER kind from nodes. This code comes from the branch arithmetic/remove_const_int.
Diffstat (limited to 'test/unit/expr/expr_public.h')
-rw-r--r-- | test/unit/expr/expr_public.h | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/test/unit/expr/expr_public.h b/test/unit/expr/expr_public.h index 853d0086b..491f99584 100644 --- a/test/unit/expr/expr_public.h +++ b/test/unit/expr/expr_public.h @@ -66,8 +66,8 @@ public: d_apply_fun_bool = new Expr(d_em->mkExpr(APPLY_UF, *fun_op, *a_bool)); null = new Expr; - i1 = new Expr(d_em->mkConst(Integer("0"))); - i2 = new Expr(d_em->mkConst(Integer(23))); + i1 = new Expr(d_em->mkConst(Rational("0"))); + i2 = new Expr(d_em->mkConst(Rational(23))); r1 = new Expr(d_em->mkConst(Rational(1, 5))); r2 = new Expr(d_em->mkConst(Rational("0"))); } catch(Exception e) { @@ -218,8 +218,8 @@ public: TS_ASSERT(d_apply_fun_bool->getKind() == APPLY_UF); TS_ASSERT(null->getKind() == NULL_EXPR); - TS_ASSERT(i1->getKind() == CONST_INTEGER); - TS_ASSERT(i2->getKind() == CONST_INTEGER); + TS_ASSERT(i1->getKind() == CONST_RATIONAL); + TS_ASSERT(i2->getKind() == CONST_RATIONAL); TS_ASSERT(r1->getKind() == CONST_RATIONAL); TS_ASSERT(r2->getKind() == CONST_RATIONAL); } @@ -292,8 +292,8 @@ public: TS_ASSERT(d_apply_fun_bool->toString() == "(APPLY_UF f a)"); TS_ASSERT(null->toString() == "null"); - TS_ASSERT(i1->toString() == "(CONST_INTEGER 0)"); - TS_ASSERT(i2->toString() == "(CONST_INTEGER 23)"); + TS_ASSERT(i1->toString() == "(CONST_RATIONAL 0)"); + TS_ASSERT(i2->toString() == "(CONST_RATIONAL 23)"); TS_ASSERT(r1->toString() == "(CONST_RATIONAL 1/5)"); TS_ASSERT(r2->toString() == "(CONST_RATIONAL 0)"); } @@ -324,8 +324,8 @@ public: TS_ASSERT(sd.str() == "(APPLY_UF f a)"); TS_ASSERT(snull.str() == "null"); - TS_ASSERT(si1.str() == "(CONST_INTEGER 0)"); - TS_ASSERT(si2.str() == "(CONST_INTEGER 23)"); + TS_ASSERT(si1.str() == "(CONST_RATIONAL 0)"); + TS_ASSERT(si2.str() == "(CONST_RATIONAL 23)"); TS_ASSERT(sr1.str() == "(CONST_RATIONAL 1/5)"); TS_ASSERT(sr2.str() == "(CONST_RATIONAL 0)"); } @@ -362,14 +362,14 @@ public: TS_ASSERT_THROWS(b_bool->getConst<Kind>(), IllegalArgumentException); TS_ASSERT_THROWS(c_bool_and->getConst<Kind>(), IllegalArgumentException); TS_ASSERT(and_op->getConst<Kind>() == AND); - TS_ASSERT_THROWS(and_op->getConst<Integer>(), IllegalArgumentException); + TS_ASSERT_THROWS(and_op->getConst<Rational>(), IllegalArgumentException); TS_ASSERT(plus_op->getConst<Kind>() == PLUS); TS_ASSERT_THROWS(plus_op->getConst<Rational>(), IllegalArgumentException); TS_ASSERT_THROWS(d_apply_fun_bool->getConst<Kind>(), IllegalArgumentException); TS_ASSERT_THROWS(null->getConst<Kind>(), IllegalArgumentException); - TS_ASSERT(i1->getConst<Integer>() == 0); - TS_ASSERT(i2->getConst<Integer>() == 23); + TS_ASSERT(i1->getConst<Rational>() == 0); + TS_ASSERT(i2->getConst<Rational>() == 23); TS_ASSERT(r1->getConst<Rational>() == Rational(1, 5)); TS_ASSERT(r2->getConst<Rational>() == Rational("0")); |