diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-06-13 18:39:10 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-13 18:39:10 -0700 |
commit | 2d478849d704f44f2a1f584dbc98d3731ca4e6ee (patch) | |
tree | 69b4559ecf894a939c6b333f76eb2d4df340a120 /.travis.yml | |
parent | f61ad6919fc80cbc19fde9c295beb5082a6e0d79 (diff) |
Add lemma for the range of values of str.indexof (#3054)
This commit adds a lemma that the value of `str.indexof(x, y, n)` must
be between -1 and `str.len(x)`.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions