diff options
Diffstat (limited to 'test/loopbce.go')
| -rw-r--r-- | test/loopbce.go | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/loopbce.go b/test/loopbce.go index aabd56c682..ca09e7e7f7 100644 --- a/test/loopbce.go +++ b/test/loopbce.go @@ -17,8 +17,8 @@ func f0a(a []int) int { func f0b(a []int) int { x := 0 for i := range a { // ERROR "Induction variable: limits \[0,\?\), increment 1$" - b := a[i:] // ERROR "Proved IsSliceInBounds$" - x += b[0] + b := a[i:] // ERROR "Proved IsSliceInBounds$" "Proved slicemask not needed \(by limit\)$" + x += b[0] // ERROR "Proved IsInBounds$" } return x } @@ -417,7 +417,7 @@ func bce1() { func nobce2(a string) { for i := int64(0); i < int64(len(a)); i++ { // ERROR "Induction variable: limits \[0,\?\), increment 1$" - useString(a[i:]) // ERROR "Proved IsSliceInBounds$" + useString(a[i:]) // ERROR "Proved IsSliceInBounds$" "Proved slicemask not needed \(by limit\)$" } for i := int64(0); i < int64(len(a))-31337; i++ { // ERROR "Induction variable: limits \[0,\?\), increment 1$" useString(a[i:]) // ERROR "Proved IsSliceInBounds$" "Proved slicemask not needed" |