blob: a985df28a0baafb7836ee7085905799258608a42 (
plain)
1
2
3
4
5
6
|
Verification of internal-bug-4.chalice using parameters=""
The program did not typecheck.
7.3: the postcondition of functions cannot contain accessibility predicates (permissions are returned automatically)
11.3: the postcondition of functions cannot contain accessibility predicates (permissions are returned automatically)
15.3: the postcondition of functions cannot contain accessibility predicates (permissions are returned automatically)
|