Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codeplex repositories.

1 files changed, 0 insertions, 22 deletions

diff --git a/Chalice/tests/regressions/workitem-10147.chalice b/Chalice/tests/regressions/workitem-10147.chalice
deleted file mode 100644
index eb6f31c7..00000000
--- a/Chalice/tests/regressions/workitem-10147.chalice
+++ /dev/null
@@ -1,22 +0,0 @@
-class Cell {

-  

-  var x: int;

-  

-  // the declaration of a method with the same name for a parameter

-  // as well as a result alone does not yet cause a problem, but ...

-  method problematic_method(c: Cell) returns (c: Cell)

-    requires acc(c.x);

-  {

-  }

-  

-  // ... calling it leads to various 'undeclared identifier' errors

-  // in boogie. (previously. now fixed by not allowing c as both in and out parameter)

-  method error()

-  {

-    var a: Cell := new Cell;

-    var b: Cell;

-    

-    call b := problematic_method(a);

-  }

-  

-}