1 files changed, 0 insertions, 29 deletions
diff --git a/Chalice/tests/refinements/SumCubes.chalice b/Chalice/tests/refinements/SumCubes.chalice
deleted file mode 100644
index a24a0f37..00000000
--- a/Chalice/tests/refinements/SumCubes.chalice
+++ /dev/null
@@ -1,29 +0,0 @@
-class SumCubes0 {
-  method compute(n)
-    requires n >= 0;
-  {
-    var i := 0;
-    var s := 0;
-    while (i < n)
-      invariant i <= n;
-    {
-      i := i + 1;
-      s := s + i*i*i;
-    }
-  }
-}
-
-class SumCubes1 refines SumCubes0 {
-  transforms compute(n)  
-  {    
-    _
-    var t := 0;    
-    while    
-      invariant s == t*t;
-      invariant 2*t == i*(i+1);
-    {    
-      _         
-      t := t + i;
-    }
-  }
-}