diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-04-01 06:59:18 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-04-01 06:59:18 +0000 |
| commit | c49e8a66f30413adc802c7200ec02c68e33feae6 (patch) | |
| tree | bab593196b862b2e22f5cc07cf3d9f8a97e86e16 /test | |
| parent | f208251e33814430decb89c2c9001b5a675402f9 (diff) | |
* Minor code formatting stuff in src/expr/type.{h,cpp}. Concluded
Type code review and closed bug #25.
* Do assertions on Expr creation (public library interface) even when
assertions are off. Also a similar check for proper kind (in public
interface) when Expr::getConst<>() is called. This fixes a unit
test that was failing in production builds (an exception wasn't
thrown but should have been).
* kind::XOR must have exactly 2 arguments, not 2-or-more.
Diffstat (limited to 'test')
| -rw-r--r-- | test/unit/expr/expr_black.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/expr/expr_black.h b/test/unit/expr/expr_black.h index b08b5c6aa..e253b4a24 100644 --- a/test/unit/expr/expr_black.h +++ b/test/unit/expr/expr_black.h @@ -362,7 +362,7 @@ public: TS_ASSERT(r2->isAtomic()); Expr x = d_em->mkExpr(AND, *a, *b); - Expr y = d_em->mkExpr(XOR, *a, *b, *c); + Expr y = d_em->mkExpr(ITE, *a, *b, *c); Expr z = d_em->mkExpr(IFF, x, y); TS_ASSERT(!x.isAtomic()); |