From 9a418d03e9d5d24491b730436a0d8ff35c1baa28 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 24 Nov 2015 14:24:15 +0100
Subject: [PATCH] We cheat in a slightly different way for split
---
testcases/synthesis/etienne-thesis/List/Split.scala | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/testcases/synthesis/etienne-thesis/List/Split.scala b/testcases/synthesis/etienne-thesis/List/Split.scala
index 47793c081..fb9820409 100644
--- a/testcases/synthesis/etienne-thesis/List/Split.scala
+++ b/testcases/synthesis/etienne-thesis/List/Split.scala
@@ -30,10 +30,12 @@ object Complete {
if(i < 0) -i else i
} ensuring(_ >= 0)
+ def dispatch(es: (BigInt, BigInt), rest: (List, List)): (List, List) = {
+ (Cons(es._1, rest._1), Cons(es._2, rest._2))
+ }
+
def split(list : List) : (List,List) = {
choose { (res : (List,List)) => splitSpec(list, res) }
}
- // case (h1, (h2, t)) => (h1 :: split(t)._1, h2 :: split(t)._2)
-
}
--
GitLab