diff options
Diffstat (limited to 'Chalice/tests/regressions/workitem-10223.chalice')
| -rw-r--r-- | Chalice/tests/regressions/workitem-10223.chalice | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Chalice/tests/regressions/workitem-10223.chalice b/Chalice/tests/regressions/workitem-10223.chalice deleted file mode 100644 index eb4bd00b..00000000 --- a/Chalice/tests/regressions/workitem-10223.chalice +++ /dev/null @@ -1,8 +0,0 @@ -class Lala { - var next: Lala; - var x: int; - predicate inv { - acc(next) && acc(x) && - (next != null ==> (next.inv && unfolding next.inv in this.x > next.x)) - } -} |