1 files changed, 0 insertions, 31 deletions
diff --git a/Jennisys/Jennisys/examples/Simple.jen b/Jennisys/Jennisys/examples/Simple.jen
deleted file mode 100644
index 2f5e7feb..00000000
--- a/Jennisys/Jennisys/examples/Simple.jen
+++ /dev/null
@@ -1,31 +0,0 @@
-interface Simple {
- var a: int
- 
- method Inc(p: int)
-   a := old(a) + p   
-   
- method Init(n: int)
-   a := n
-   
- method Max(x: int, y: int)
-   ensures x < y ==> a = y
-   ensures x >= y ==> a = x
-   
- 
- method Max2(x: int, y: int)
-   ensures a = x || a = y
-   ensures forall t :: t in {x y} ==> a >= t
-   
- method Max3__mod__(x: int, y: int)
-   ensures a in {x y}
-   ensures forall t :: t in {x y} ==> a >= t   
-   
- method MaxAll__mod__(x: seq[int])
-   ensures a in x
-   ensures forall t :: t in x ==> a >= t
-}
-
-datamodel Simple {
- var c: int
- invariant a = c
-}
-\ No newline at end of file