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/ProcParamReordering.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/ProcParamReordering.bpl')
0 files changed, 0 insertions, 0 deletions