diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-26 22:54:58 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-26 22:56:45 -0700 |
commit | dd86535c0a7dba3a7a3db2453eaf3b5c7abaaacc (patch) | |
tree | da38de8891e7e0f34915fb55a23d722e32dcacd8 /test/regress/regress1/quantifiers/dt-tc-opt-small.smt2 | |
parent | 22ef16d1108dd0e42da203ca4d453fbdd128a8d6 (diff) |
Add regression for fixed `str.indexof_re` issue
Fixes #6639. The issue cannot be reproduced on current master and `git
bisect` suggests that commit adf497af7a3fc8b06b875eaf9feca2568d0ba9d8
fixed the issue.
Diffstat (limited to 'test/regress/regress1/quantifiers/dt-tc-opt-small.smt2')
0 files changed, 0 insertions, 0 deletions