summaryrefslogtreecommitdiff
path: root/Test/sanity/Output
blob: 72700e47af39f680f73f3bcee72f30d88d919ab7 (plain) 
1
2
3
4


Boogie program verifier finished with 0 verified, 0 errors

Dafny program verifier finished with 11 verified, 0 errors
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-20 14:37:42 +0000