diff options
| author |  kyessenov <unknown> | 2010-08-13 07:22:10 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-08-13 07:22:10 +0000 |
| commit | e28e0bf56556408f63d552a721e4705417e084a8 (patch) | |
| tree | 01ce9064cb33a05a965b92e1745a0942f3b7b808 /Test | |
| parent | 7644135e01d324b2b791a15e668862118b3eab14 (diff) | |
Chalice: add specification statement ( ghost? (const|var) (x (:T)?)+ [P(x)] )
Diffstat (limited to 'Test')
0 files changed, 0 insertions, 0 deletions