blob: 9f6998f57d5d30cd942161a4ab1a951d1f3f4649 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
Field.dfy(12,12): Error: possible violation of function precondition
Execution trace:
(0,0): anon0
Field.dfy(12,15): Error: assertion violation
Execution trace:
(0,0): anon0
Field.dfy(21,12): Error: possible violation of function precondition
Execution trace:
(0,0): anon0
Field.dfy(21,14): Error: assertion violation
Execution trace:
(0,0): anon0
Dafny program verifier finished with 2 verified, 4 errors
|