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