diff options
| author |  rustanleino <unknown> | 2010-10-22 01:34:13 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-10-22 01:34:13 +0000 |
| commit | 75affe5a214df74d2927785d666fbe3d7871e867 (patch) | |
| tree | 2c849dc5fea8ea7e0406ab03d9c622d47909bf9a /Test/test0/BadQuantifier.bpl | |
| parent | 7b2e81b5f228e09feaedd215c7d2fc7eed0ffe1c (diff) | |
Miscellaneous changes:
* Also copy CodeContractExtender in PrepareBoogieZip.bat
* Added some comments and a new program in Test/textbook
* Included refinement keywords in Chalice emacs mode
* Used assignment instead of spec statement in DuplicatesVideo.chalice
Diffstat (limited to 'Test/test0/BadQuantifier.bpl')
0 files changed, 0 insertions, 0 deletions