summaryrefslogtreecommitdiff
path: root/Test/generalizedarray/Answer
blob: 285316aae140398b01b93394ae5d0a2305abdbce (plain)
1
2
3
4

-------------------- Maps.bpl --------------------

Boogie program verifier finished with 1 verified, 0 errors