blob: 220fecc512987e244afd6d010418de64ea2e13e3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
UnfoldingPerformance.dfy(23,11): Error: assertion violation
Execution trace:
(0,0): anon0
UnfoldingPerformance.dfy(30,11): Error: assertion violation
Execution trace:
(0,0): anon0
UnfoldingPerformance.dfy(51,11): Error: assertion violation
Execution trace:
(0,0): anon0
Dafny program verifier finished with 11 verified, 3 errors
|