summaryrefslogtreecommitdiff
path: root/Chalice/tests/predicates/test10.output.txt
blob: d38b56a02329dc54585a1fb979c6f89a397ad1a1 (plain) 
1
2
3
4

Verification of test10.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-10-16 17:45:55 +0000