Closed panacekcz closed 7 years ago
Currently, upper bound @LTEqLengthOf("a") is refined by !=a.length to @LTLengthOf("a"). Similarly @LTLengthOf("a") can be refined by !=a.length-1 to @LTLengthOf(value="a",offset="1"), and for other constant offsets as well.
@LTEqLengthOf("a")
!=a.length
@LTLengthOf("a")
!=a.length-1
@LTLengthOf(value="a",offset="1")
Currently, upper bound
@LTEqLengthOf("a")is refined by!=a.lengthto@LTLengthOf("a"). Similarly@LTLengthOf("a")can be refined by!=a.length-1to@LTLengthOf(value="a",offset="1"), and for other constant offsets as well.