From e754b92916273ef1beb8a9b9ca439557e9032fa1 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <etienne.kneuss@epfl.ch>
Date: Wed, 4 Feb 2015 15:33:03 +0100
Subject: [PATCH] Fix testcase
---
testcases/repair/List/List2.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/testcases/repair/List/List2.scala b/testcases/repair/List/List2.scala
index e3246d5e8..5a000adc8 100644
--- a/testcases/repair/List/List2.scala
+++ b/testcases/repair/List/List2.scala
@@ -28,10 +28,10 @@ sealed abstract class List0[T] {
case Cons0(x, xs) => xs ++ that // FIXME did not Cons
}) ensuring { res =>
res.content == this.content ++ that.content &&
- res.size == this.size + that.size &&
+ res.size == this.size + that.size/* &&
(((this, that), res) passes {
case ( x@Cons0(x1, Cons0(x2, Nil0())), y) => x
- })
+ })*/
}
def head: T = {
--
GitLab