diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-19 19:02:48 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-19 19:02:48 -0500 |
| commit | a2d3808e2934ab660c709b45c184ae973375eb61 (patch) | |
| tree | 0b253674095c7a4a7ad6a1a334d5d0c4793a2c4e /src/theory/strings/term_registry.cpp | |
| parent | 6710b082bc6fa8c7f67203a4013657e069479119 (diff) | |
Add strings-exp to regression (#4923)
str.at expands to str.substr, thus this benchmark (may) require strings-exp if things do not rewrite/preprocess. This triggers a regress0 failure on proof-new currently.
Diffstat (limited to 'src/theory/strings/term_registry.cpp')
0 files changed, 0 insertions, 0 deletions