diff options
| author |  wuestholz <unknown> | 2012-09-07 17:38:30 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2012-09-07 17:38:30 +0200 |
| commit | f369261b5b9953380d8fb8e0f7b020167482a491 (patch) | |
| tree | e40aca93bba20902260b676700f45a043212716e /Source/Provers/SMTLib/SMTLibLineariser.cs | |
| parent | 1787d671c39eee47c675c995f99c4ff60cc17d22 (diff) | |
Dafny: Fixed a test that would fail with Z3 4.1.
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibLineariser.cs')
0 files changed, 0 insertions, 0 deletions