summaryrefslogtreecommitdiff
path: root/Test/dafny1/Substitution.dfy.expect
blob: b9a9bc890a948ffc2577db75b617ab2c344429ff (plain)
1
2

Dafny program verifier finished with 12 verified, 0 errors