summaryrefslogtreecommitdiff
path: root/Test/test21/InterestingExamples0.bpl.a.expect
blob: 37fad75c9012cb8af65e99f025d5621e65551b72 (plain)
1
2

Boogie program verifier finished with 1 verified, 0 errors