blob: f46549dd5a7cfc14c52f8ee65e46195d9b41e07f (
plain)
1
2
3
4
5
6
7
8
|
Maps.dfy(78,8): Error: element may not be in domain
Execution trace:
(0,0): anon0
Maps.dfy(128,13): Error: assertion violation
Execution trace:
(0,0): anon0
Dafny program verifier finished with 32 verified, 2 errors
|