diff options
author | Rustan Leino <unknown> | 2016-02-29 15:31:30 -0800 |
---|---|---|
committer | Rustan Leino <unknown> | 2016-02-29 15:31:30 -0800 |
commit | 9f4d81cb7056501547a5116796a3112da8054433 (patch) | |
tree | 209590d4472b8faf635d727a8f6b9bd8633da9b4 /Test/dafny4/Bug91.dfy | |
parent | 0531b8772f4174d807caecc356ecaa41adca8c8c (diff) |
Added a return-value contract
Diffstat (limited to 'Test/dafny4/Bug91.dfy')
0 files changed, 0 insertions, 0 deletions