summaryrefslogtreecommitdiff
path: root/Chalice/tests/examples/Sieve.output.txt
blob: 3e5117d350707b2e9f305451bed8d501305d8f52 (plain) 
1
2
3
4

Verification of Sieve.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-06-09 09:54:11 +0000