summaryrefslogtreecommitdiff
path: root/Test/sanity/Answer
blob: a86e36deee94f7adaaff3752bf897f2820f8a81b (plain) 
1
2
3
4


Boogie program verifier finished with 1 verified, 0 errors

Dafny program verifier finished with 11 verified, 0 errors
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 21:31:38 +0000