1 files changed, 0 insertions, 35 deletions
diff --git a/Test/jennisys0/Prog0.jen b/Test/jennisys0/Prog0.jen
deleted file mode 100644
index 7ce79cac..00000000
--- a/Test/jennisys0/Prog0.jen
+++ /dev/null
@@ -1,35 +0,0 @@
-class C {
-  var a: seq[int]
-  var x: int
-  constructor Init()
-  method Update(d)
-    x := x + 1
-    { nested := statement yes := sirrie }
-    x.f := (12 + true)[8000 := 0 <= n]
-  method Query() returns (r)
-    requires r
-    requires true
-    requires a[*]
-    requires r.r.s
-    requires a[i]
-    requires a[i := 58]
-    requires (((hello)))
-    requires (((hello) + (goodbye)) - soonyousoon)
-    requires 0 <= r
-    { }
-  method ManyParams(x:bool,y) returns (r,s:set[MyClass],t)
-}
-
-model C {
-  var x: int
-  frame xyz * abc * klm
-     mno pqr
-  invariant x <= x
-  var q: bool
-  invariant frame frame
-  invariant x < 100 y < 1000
-  frame a * b c
-}
-
-code C {
-}