diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-10 16:19:10 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-10 16:19:10 -0800 |
| commit | 3be3e9a226ee0defb514da6fe136ce7cadf9e17c (patch) | |
| tree | 40fefdd0b69ec16d46e54531be71aa33a7d3f5d2 /Jennisys | |
| parent | 17d1562bae394856c24f09a2dac9f7404c5dd759 (diff) | |
Dafny: added test case for refinement and predicates (and fixed a parsing bug)
Diffstat (limited to 'Jennisys')
0 files changed, 0 insertions, 0 deletions