summaryrefslogtreecommitdiff
path: root/Test/test20/Prog2.bpl
diff options
context:
space:
mode:
authorGravatar wuestholz <unknown>2012-09-12 10:54:38 +0200
committerGravatar wuestholz <unknown>2012-09-12 10:54:38 +0200
commitf9ee0dff79312c65e78299810590ac040fd0d26b (patch)
treebb514914d2fafea4e081084295640ddca0babfa2 /Test/test20/Prog2.bpl
parentfc76541682ec019b8a2dc08ca9972ff517db9b74 (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