diff options
Diffstat (limited to 'Chalice/tests/regressions/workitem-8236.chalice')
-rw-r--r-- | Chalice/tests/regressions/workitem-8236.chalice | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/Chalice/tests/regressions/workitem-8236.chalice b/Chalice/tests/regressions/workitem-8236.chalice deleted file mode 100644 index 819bdb74..00000000 --- a/Chalice/tests/regressions/workitem-8236.chalice +++ /dev/null @@ -1,16 +0,0 @@ -class Bug{
-
- method Main() // expected ERROR: method might lock/unlock more than allowed
- {
- var a : Bug;
- call a:= m();
- }
-
- method m() returns (a : Bug)
- lockchange a // resulted previously in Boogie errors
- {
- a := new Bug;
- share a;
- acquire a;
- }
-}
\ No newline at end of file |