Test/dafny0/Maps.dfy.expect


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