diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-12 00:21:51 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-12 00:21:51 -0700 |
| commit | 9f5fb42580e00370ea461be5a00f8debfb59b636 (patch) | |
| tree | 29e982dfcd63311aeadbcc5f33560247990e54f3 /src/theory/fp | |
| parent | a4b0e462833f89bea6a35e0adcf103201b9ebca1 (diff) | |
Add rewrites for str.replace in str.contains (#2623)
This commit adds two rewrites for `(str.contains (str.replace x y x) z) ---> (str.contains x z)`, either when `z = y` or `(str.len z) <= 1`. Additionally, the commit adds `(str.contains (str.replace x y z) w) ---> true` if `(str.contains x w) --> true` and `(str.contains z w) ---> true`.
Diffstat (limited to 'src/theory/fp')
0 files changed, 0 insertions, 0 deletions