4 ms·

This invariant only works for 1-character needles. So no "Lorem Ipsum".indexOf("Ipsum") Which is the main purpose of this function. Also with your invari

by ajuc 3y ago

This invariant only works for 1-character needles. So no "Lorem Ipsum".indexOf("Ipsum") Which is the main purpose of this function. Also with your invariant types are different. Not "abc".indexOf("b") but "abc".indexOf('b').