summaryrefslogtreecommitdiff
path: root/Test/dafny1/KatzManna.dfy.expect
blob: 4ef2de53615a135d90655bff0df1846510154567 (plain)
1
2

Dafny program verifier finished with 6 verified, 0 errors