summaryrefslogtreecommitdiff
path: root/Test/codeexpr/codeExprBug.bpl.expect
blob: 3de74d3e0f9493f38521c19c357c37d8b9436784 (plain)
1
2

Boogie program verifier finished with 2 verified, 0 errors