diff options
| author |  wuestholz <unknown> | 2012-09-12 11:26:47 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2012-09-12 11:26:47 +0200 |
| commit | 9785ccdc34f4e0e5aa992e94251a8e03391def40 (patch) | |
| tree | 304d0f0f7162c2ff66846bcc26f6bd99ccd3dc43 /Util | |
| parent | f9ee0dff79312c65e78299810590ac040fd0d26b (diff) | |
Updated test 'livevars' that would fail with Z3 4.1 (alternative error trace).
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions