summaryrefslogtreecommitdiff
path: root/Test/civl/ghost.bpl.expect
blob: 9823d44a89ddc7a8b86a978a13b844873850f983 (plain)
1
2

Boogie program verifier finished with 6 verified, 0 errors