1 files changed, 0 insertions, 34 deletions
diff --git a/Chalice/tests/refinements/AngelicExec.chalice b/Chalice/tests/refinements/AngelicExec.chalice
deleted file mode 100644
index 582c3944..00000000
--- a/Chalice/tests/refinements/AngelicExec.chalice
+++ /dev/null
@@ -1,34 +0,0 @@
-class A0 {
-  method m(b: bool) {
-    var x;
-    if (b) {
-      spec x [0 <= x && x < 3];
-    } else {
-      x := 1;
-    }
-  }
-}
-
-class B0 refines A0 {
-  refines m(b: bool) {
-    var x := 1;
-  }
-}
-
-class A1 refines A0 {
-  transforms m(b: bool) {
-    _
-    if { 
-      replaces * by {x := 1;}
-    } else {
-      *
-    }
-    _
-  }
-}
-
-class A2 refines A1 {
-  refines m(b: bool) {
-    var x := 1;
-  }
-}