summaryrefslogtreecommitdiff
path: root/Test/civl/parallel2.bpl.expect
blob: 12041afe11e717694a0c28fbb662f7f588a8e455 (plain)
1
2

Boogie program verifier finished with 10 verified, 0 errors