summaryrefslogtreecommitdiff
path: root/Test/dafny4/Bug103.dfy.expect
blob: 52595bf98871632cf4089f0777b6dc354d8be5f4 (plain)
1
2

Dafny program verifier finished with 3 verified, 0 errors