1 files changed, 0 insertions, 32 deletions
diff --git a/Chalice/tests/predicates/FoldUnfoldExperiments.chalice b/Chalice/tests/predicates/FoldUnfoldExperiments.chalice
deleted file mode 100644
index 4bead442..00000000
--- a/Chalice/tests/predicates/FoldUnfoldExperiments.chalice
+++ /dev/null
@@ -1,32 +0,0 @@
-class FoldUnfoldExperiments
-{
-  var x:int;
-  var y:int;
-  predicate X { acc(x) }
-  predicate Y { acc(y) }
-  
-  function getX():int
-    requires X;
-  { unfolding X in x }
-  
-  function getY():int
-    requires Y;
-  { unfolding Y in y }
-  
-  method setX(v:int)
-    requires X;
-    ensures X && getX()==v;
-  {
-    unfold X; x:=v; fold X;
-  }
-  
-  method check()
-    requires acc(x) && acc(y);
-    ensures acc(y) && y==2 && X && getX()==3;
-  {
-    x:=1; y:=2;
-    fold X; fold Y;
-    call setX(3);
-    unfold Y;
-  }
-}
-\ No newline at end of file