From 2f3be2776f46085d5030509be86498505fba8180 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Tue, 6 Mar 2012 15:16:37 +0100
Subject: [PATCH] Test shouldn't be in master.
---
mytest/Even.scala | 14 --------------
1 file changed, 14 deletions(-)
delete mode 100644 mytest/Even.scala
diff --git a/mytest/Even.scala b/mytest/Even.scala
deleted file mode 100644
index f1fdfdce4..000000000
--- a/mytest/Even.scala
+++ /dev/null
@@ -1,14 +0,0 @@
-import leon.Utils._
-
-object Even {
-
- //def getEven: Int = {
- // val e = epsilon((i: Int) => true)
- // e + e
- //}) ensuring(isEven(_))
-
- def double(i: Int): Int = (2*i) ensuring (isEven(_))
-
- def isEven(i: Int): Boolean = i % 2 == 0
-
-}
--
GitLab