summaryrefslogtreecommitdiff
path: root/Chalice/tests/examples/ProdConsChannel.output.txt
blob: 4d91605c79e13f1a1773541c887c9f6c9f7096b6 (plain)
1
2
3
4
Verification of ProdConsChannel.chalice using parameters="" 


Boogie program verifier finished with 0 errors and 0 smoke test warnings.