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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 06:08:52 +0000