Merge pull request #450 from TerryAg/eeeeeeeeeeeeeeeeeeeeeeee

e.dfy - Dafny
2018-12-11 15:19:57 -06:00 · 2018-12-11 15:19:57 -06:00 · 0df45ce60f
parent 602f7547bc 03c85557a9
commit 0df45ce60f
1 changed files with 10 additions and 0 deletions
--- a/e.dfy
+++ b/e.dfy
@ -0,0 +1,10 @@
+method Main() {
+  var e := 9999;
+  while e > 0
+    decreases e
+    invariant e >= 0
+    {
+      print "e";
+      e := e - 1;
+    }
+}