diff options
| author |  wuestholz <unknown> | 2012-09-18 14:57:34 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2012-09-18 14:57:34 +0200 |
| commit | 77a38428ffe11806c8bc61d2fbb324d1523de635 (patch) | |
| tree | a544307034a09236e297dfe0a3a196597b9f1a7b /Util | |
| parent | 27491d37f0eff051033ee85b58f1648c257acdef (diff) | |
Dafny: Updated a test that would take a long time (almost 2h) to verify with Z3 4.1.
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions