From 086bac59efc567cb860d2b288e69e6b966ab7a85 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 25 Apr 2012 21:39:47 +0200
Subject: [PATCH] small test
---
mytest/Epsilon1.scala | 9 +++++++++
1 file changed, 9 insertions(+)
create mode 100644 mytest/Epsilon1.scala
diff --git a/mytest/Epsilon1.scala b/mytest/Epsilon1.scala
new file mode 100644
index 000000000..1d83db59a
--- /dev/null
+++ b/mytest/Epsilon1.scala
@@ -0,0 +1,9 @@
+import leon.Utils._
+
+object Epsilon1 {
+
+ def foo(x: Int): Int = {
+ epsilon((y: Int) => y >= x)
+ } ensuring(_ > x)
+
+}
--
GitLab