summaryrefslogtreecommitdiff
path: root/Test/test21/Orderings4.bpl.a.expect
diff options
context:
space:
mode:
authorGravatar qadeer <qadeer@microsoft.com>2015-06-25 13:14:17 -0700
committerGravatar qadeer <qadeer@microsoft.com>2015-06-25 13:14:17 -0700
commit909a72d218edd18c9374b2cd9cc3496e946fd4ee (patch)
tree9d2a45953b4259b7335bd1ce1bb3d7fd73375905 /Test/test21/Orderings4.bpl.a.expect
parentc1dd3488ceb70d2b6f2b7970c2c6e5da99ab08a3 (diff)
updated with Serdar's changes
Diffstat (limited to 'Test/test21/Orderings4.bpl.a.expect')
0 files changed, 0 insertions, 0 deletions