diff options
| author |  stefanheule <unknown> | 2011-07-18 10:44:12 +0200 |
|---|---|---|
| committer | stefanheule <unknown> | 2011-07-18 10:44:12 +0200 |
| commit | e8272220e94c52a8425cba727bebb5f7050405ab (patch) | |
| tree | 83914d59a3dddbfb2b3b0e6e2e55b11f5b590ebc /.hgignore | |
| parent | e81ea58e400b47065ced037cd6e156516aabd0ca (diff) | |
Chalice: Fix a problem with permission expressions. Prevsiously, exhaling "acc(o.f,100-rd) && acc(o.f,rd)" resulted in a contradiction. This is now solved by using a two-step exhale (loosely speaking, read permissions and functional properties are exhaled first, and only afterwards all other permissions). Extended testcases appropriately.
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions