summaryrefslogtreecommitdiff
path: root/Test/VSI-Benchmarks/b6.dfy.expect
blob: 73727958b2c7fae22d3034c225dcf67f785e7899 (plain)
1
2

Dafny program verifier finished with 21 verified, 0 errors