diff options
| author |  kyessenov <unknown> | 2010-08-13 22:01:50 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-08-13 22:01:50 +0000 |
| commit | 4e5e02318bfaa9ad58ccc1f6dfdb5005ce8234a8 (patch) | |
| tree | ffa02abb6da569cc4eeb7b09ae2a10a139091663 /Test/bitvectors/Answer | |
| parent | e28e0bf56556408f63d552a721e4705417e084a8 (diff) | |
Chalice: add pre-conditions to specification statements; semantically spec statement is just like a call statement now
Diffstat (limited to 'Test/bitvectors/Answer')
0 files changed, 0 insertions, 0 deletions