diff options
author | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-19 14:05:03 +0200 |
---|---|---|
committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-19 14:05:03 +0200 |
commit | b929a1c46a1a158b95a0042a81fc8539ab5eae00 (patch) | |
tree | 03ff5aeb9fad9c670c855cecad2c72210fa0e4ab /Test/dafny2 | |
parent | 3c789c793b917550c4d752307fc0e7496591fffe (diff) |
Made verification error message more explicit
Diffstat (limited to 'Test/dafny2')
0 files changed, 0 insertions, 0 deletions