blob: fad1fe330baa2eab4c08d37cc892827ed6f08963 (
plain)
1
2
3
4
5
6
7
|
Apply.dfy(27,16): Error: assertion violation
Execution trace:
(0,0): anon0
Apply.dfy(26,35): anon15_Else
Apply.dfy(27,27): anon17_Else
Dafny program verifier finished with 6 verified, 1 error
|