blob: 0a99be695a5c0f6597890d22468cc72c947f5c30 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
columns.dfy(8,0): Warning: module-level methods are always non-instance, so the 'static' keyword is not allowed here
columns.dfy(9,9): Error: assertion violation
Execution trace:
(0,0): anon0
columns.dfy(10,11): Error: assertion violation
Execution trace:
(0,0): anon0
columns.dfy(11,11): Error: assertion violation
Execution trace:
(0,0): anon0
Dafny program verifier finished with 2 verified, 3 errors
|
