summaryrefslogtreecommitdiff
path: root/Test/og/wsq.bpl.expect
blob: 5b2909f12352f9986ae9932c673aba93af7951b7 (plain)
1
2

Boogie program verifier finished with 3 verified, 0 errors