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/examples | |
parent | 17d1562bae394856c24f09a2dac9f7404c5dd759 (diff) |
Dafny: added test case for refinement and predicates (and fixed a parsing bug)
Diffstat (limited to 'Jennisys/examples')
0 files changed, 0 insertions, 0 deletions