diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-10 01:28:14 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-10 01:28:14 -0700 |
commit | 1fee693c6569bf68c598610be30cbc3f8cbaa3f2 (patch) | |
tree | 12342caef5fa97fc9f6dd44c6cb97520c6bc401e /src/lib | |
parent | 9168f325706e61bb12fec71cd375647e2102f8d3 (diff) |
Add length-based rewrites for (str.substr _ _ _)substrsubstr
This commit adds two rewrites for `(str.substr _ _ _)` that use
length-based reasoning:
- `(str.substr (str.substr x a b) c d) ---> ""` if `c >= b`
- `(str.substr s x x) ---> ""` if `(str.len s) <= 1`
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions