diff options
author | stefanheule <unknown> | 2011-07-18 11:50:29 +0200 |
---|---|---|
committer | stefanheule <unknown> | 2011-07-18 11:50:29 +0200 |
commit | 186b3e2e4a8b461212f9b97255b5f64d045df23f (patch) | |
tree | 0f4b495540d05df739c2e684f14831f4e3f66528 /.hgignore | |
parent | e8272220e94c52a8425cba727bebb5f7050405ab (diff) |
Chalice: Also exhale correctly in two steps for multiple contracts (e.g. two preconditions), and include missing well-formedness assumption afer async method calls.
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions