blob: c785ee97ef693577b91722bf84f401ae83a8f41c (
plain)
1
2
3
4
5
6
7
8
|
exists-b-exists-not-b.dfy(8,9): Error: assertion violation
Execution trace:
(0,0): anon0
exists-b-exists-not-b.dfy(9,9): Error: assertion violation
Execution trace:
(0,0): anon0
Dafny program verifier finished with 1 verified, 2 errors
|
