1 files changed, 0 insertions, 32 deletions
diff --git a/Chalice/tests/predicates/unfolding.chalice b/Chalice/tests/predicates/unfolding.chalice
deleted file mode 100644
index 6b276a04..00000000
--- a/Chalice/tests/predicates/unfolding.chalice
+++ /dev/null
@@ -1,32 +0,0 @@
-class Cell {
-  var value: int;
-  
-  predicate p { acc(value) }
-  
-  method test()
-    requires p
-  {
-    var tmp: int := unfolding p in value;
-    var tmp2: int := unfolding p in value;
-    call void()
-    assert tmp == unfolding p in value // ERROR: should fail
-  }
-  
-  method test2()
-    requires p
-    ensures p
-  {
-    var tmp: int := unfolding p in value;
-    var tmp2: int := unfolding p in value;
-    call v()
-    assert tmp == unfolding p in value
-  }
-  
-  method v() requires true {}
-  
-  method void()
-    requires p
-    ensures p
-  {}
-  
-}