Test/dafny0/BadFunction.dfy.expect


1
2
3
4
5
6

BadFunction.dfy(9,3): Error: failure to decrease termination measure
Execution trace:
    (0,0): anon0
    (0,0): anon4_Else

Dafny program verifier finished with 2 verified, 1 error