blob: 707683049c03f31f72982d608585a765b6b87646 (
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 int(|values|) - int(idx)
Dafny program verifier finished with 4 verified, 0 errors
|