summaryrefslogtreecommitdiff
path: root/Test/VSI-Benchmarks/b7.dfy.expect
blob: 5add7af76b9aadeb8000096f40b7e2c4c4798d62 (plain)
1
2

Dafny program verifier finished with 23 verified, 0 errors