Lines Matching refs:zs
30 zs := (**xs)[0:i] // since i=i+1 is proven, i+1 is "in bounds", ha-ha
31 zs = zs[i : i+1] // ERROR "Proved boolean IsSliceInBounds$"
32 println(zs)
59 var zs string
60 zs = (**xs)[2:]
61 zs = (**xs)[2:len(**xs)] // ERROR "Proved IsSliceInBounds$" "Proved boolean IsSliceInBounds$"
62 zs = (**xs)[i:i] // -ERROR "Proved boolean IsSliceInBounds"
63 zs = (**xs)[0:] // ERROR "slice: omit slice operation$"
64 zs = (**xs)[2:8]
65 zs = (**xs)[2:2] // ERROR "Proved boolean IsSliceInBounds$"
66 zs = (**xs)[0:i] // ERROR "Proved boolean IsSliceInBounds$"
68 zs = zs[0:i] // See s1_if_false_then_anything above to explain the counterfactual bounds check result below
69 zs = zs[i : i+1] // ERROR "Proved boolean IsSliceInBounds$"
70 println(zs)
