diff options
| author |  stefanheule <unknown> | 2012-02-25 03:43:26 -0800 |
|---|---|---|
| committer | stefanheule <unknown> | 2012-02-25 03:43:26 -0800 |
| commit | 42db923e160097a3e99c4adcb406925d3685035d (patch) | |
| tree | d813edf54843b3fc266012d39c491c90271fe873 /Chalice | |
| parent | b966c6ca664b49ff74787f9285109a6bbcf57f3a (diff) | |
Chalice: update test case to correctly reflect current Chalice state.
Diffstat (limited to 'Chalice')
| -rw-r--r-- | Chalice/tests/predicates/aux-info.chalice | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Chalice/tests/predicates/aux-info.chalice b/Chalice/tests/predicates/aux-info.chalice index f457c481..e72e25fa 100644 --- a/Chalice/tests/predicates/aux-info.chalice +++ b/Chalice/tests/predicates/aux-info.chalice @@ -18,7 +18,7 @@ class Cell { var tmp: int := value
fold p
// make sure that at this point we can retain information about the field value
- assert tmp == unfolding p in value
+ assert tmp == unfolding p in value // ERROR: currently, Chalice cannot prove this, which it should be able to do
}
method void()
|