blob: 16a67088d03dbc1281b1c15354552dd874a525d4 (
plain)
1
2
3
4
5
6
7
|
maximum.dfy(11,10): Info: Selected triggers: {values[i]}
maximum.dfy(18,14): Info: Selected triggers: {values[j]}
maximum.dfy(28,27): Info: Selected triggers: {values[i]}
maximum.dfy(29,27): Info: Selected triggers: {values[i]}
maximum.dfy(15,2): Info: decreases |values| - idx
Dafny program verifier finished with 4 verified, 0 errors
|
