diff options
author | wuestholz <unknown> | 2012-09-12 10:54:38 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2012-09-12 10:54:38 +0200 |
commit | f9ee0dff79312c65e78299810590ac040fd0d26b (patch) | |
tree | bb514914d2fafea4e081084295640ddca0babfa2 /Test/test20/Prog2.bpl | |
parent | fc76541682ec019b8a2dc08ca9972ff517db9b74 (diff) |
Updated test 'test15' that would fail with Z3 4.1 (different ordering of elements in the model output).
Diffstat (limited to 'Test/test20/Prog2.bpl')
0 files changed, 0 insertions, 0 deletions