summaryrefslogtreecommitdiff
path: root/Test/civl/treiber-stack.bpl.expect
blob: be6b95baf4ea8526fe6321a58b1f9850491e56c2 (plain)
1
2

Boogie program verifier finished with 6 verified, 0 errors