1 files changed, 0 insertions, 23 deletions
diff --git a/Test/dafny1/Cubes.dfy b/Test/dafny1/Cubes.dfy
deleted file mode 100644
index 1ada79fa..00000000
--- a/Test/dafny1/Cubes.dfy
+++ /dev/null
@@ -1,23 +0,0 @@
-method Cubes(a: array<int>)
-  requires a != null;
-  modifies a;
-  ensures (forall i :: 0 <= i && i < a.Length ==> a[i] == i*i*i);
-{
-  var n := 0;
-  var c := 0;
-  var k := 1;
-  var m := 6;
-  while (n < a.Length)
-    invariant n <= a.Length;
-    invariant (forall i :: 0 <= i && i < n ==> a[i] == i*i*i);
-    invariant c == n*n*n;
-    invariant k == 3*n*n + 3*n + 1;
-    invariant m == 6*n + 6;
-  {
-    a[n] := c;
-    c := c + k;
-    k := k + m;
-    m := m + 6;
-    n := n + 1;
-  }
-}