Test/dafny4/Bug101.dfy.expect


1
2
3
4
5
6
7
8

Bug101.dfy(10,11): Error: assertion violation
Execution trace:
    (0,0): anon0
    (0,0): anon6_Else
    (0,0): anon7_Then
    (0,0): anon5

Dafny program verifier finished with 2 verified, 1 error