diff options
author | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-21 17:48:16 +0200 |
---|---|---|
committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-21 17:48:16 +0200 |
commit | 0f2e84ea7799c04f9b079398989fd503ae72aa52 (patch) | |
tree | b2b3722410cedcc676a02b6c490887f33e37e5d9 /Test/dafny2 | |
parent | 33d178877dbde9371dc77144f8c3881751ad8553 (diff) |
Bugfix in the translation of calc statements (oops), added more resolution and verification tests
Diffstat (limited to 'Test/dafny2')
0 files changed, 0 insertions, 0 deletions