summaryrefslogtreecommitdiff
path: root/Test/dafny2/Calculations.dfy.expect
blob: 58598e513235e6537fd96e49d0208debf9c24866 (plain)
1
2

Dafny program verifier finished with 31 verified, 0 errors