From d11a829664210ceec8b9c7f75dd8dec182886597 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Mon, 1 Dec 2014 01:35:36 +0100
Subject: [PATCH] Fix tests
---
src/test/scala/leon/test/purescala/TreeTests.scala | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/test/scala/leon/test/purescala/TreeTests.scala b/src/test/scala/leon/test/purescala/TreeTests.scala
index aae0705e5..73e77f16f 100644
--- a/src/test/scala/leon/test/purescala/TreeTests.scala
+++ b/src/test/scala/leon/test/purescala/TreeTests.scala
@@ -7,6 +7,7 @@ import leon.test._
import leon.purescala.Common._
import leon.purescala.Definitions._
+import leon.purescala.Constructors._
import leon.purescala.Trees._
import leon.purescala.TypeTrees._
@@ -17,8 +18,8 @@ class TreeTests extends LeonTestSuite {
val t = BooleanLiteral(true)
val f = BooleanLiteral(false)
- def and(es : Expr*) : Expr = And(Seq(es : _*))
- def or(es : Expr*) : Expr = Or(Seq(es : _*))
+ def and(es : Expr*) : Expr = andJoin(es)
+ def or(es : Expr*) : Expr = orJoin(es)
assert(and(x, and(x, x), x) === and(x, x, x, x))
assert(and(x, t, x, t) === and(x, x))
--
GitLab