blob: d0baf8779efe9c57ab9efe2e778be08dd104988e (
plain)
1
2
3
4
5
6
7
8
|
Bug93.dfy(17,28): Error: assertion violation
Execution trace:
(0,0): anon0
Bug93.dfy(34,28): Error: assertion violation
Execution trace:
(0,0): anon0
Dafny program verifier finished with 7 verified, 2 errors
|