summaryrefslogtreecommitdiff
path: root/Test/VSComp2010/Problem3-FindZero.dfy.expect
blob: 76f19e0da279fe9ebfe9cacfd8e74db6c5016e20 (plain)
1
2

Dafny program verifier finished with 7 verified, 0 errors