summaryrefslogtreecommitdiff
path: root/Test/VSI-Benchmarks/b5.dfy.expect
blob: 39123c410781e93be005e4a274aab635628b8f20 (plain)
1
2

Dafny program verifier finished with 22 verified, 0 errors