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

Verification of RockBand.chalice using parameters="-checkLeaks -defaults -autoFold" 


Boogie program verifier finished with 35 verified, 0 errors
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-30 21:01:23 +0000