summaryrefslogtreecommitdiff
path: root/Test/hofs/Consequence.dfy.expect
blob: 069e776717996975d19f2a49cc447837017bc6e0 (plain)
1
2

Dafny program verifier finished with 2 verified, 0 errors