From e346bf051fac4ea6b2ad2fa34948029c741bab5e Mon Sep 17 00:00:00 2001
From: Nicolas James <Eele1Ephe7uZahRie@tutanota.com>
Date: Thu, 13 Feb 2025 18:01:32 +1100
Subject: Remove seng2011 stuff

---
 seng2011/1/ex4.dfy | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 seng2011/1/ex4.dfy

(limited to 'seng2011/1/ex4.dfy')

diff --git a/seng2011/1/ex4.dfy b/seng2011/1/ex4.dfy
deleted file mode 100644
index 900ac48..0000000
--- a/seng2011/1/ex4.dfy
+++ /dev/null
@@ -1,15 +0,0 @@
-method Eval(x:int) returns (r:int)
-requires x > 0;
-ensures r == x * x;
-{
-    var y:int := x;
-    var z:int := 0;
-    while (y >0)
-        decreases y
-        invariant (y >= 0 && y <= x && z == x * (x - y));
-    {
-        z := z + x;
-        y := y - 1;
-    }
-    return z;
-}
-- 
cgit v1.2.3