diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-04-09 14:11:31 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-09 14:11:31 -0500 |
commit | e5358e498db6d934d0b8704cfd023b0f67b6fbc0 (patch) | |
tree | 36acd19d5fdb0b8bde5420862a8d4a725d0cb50d /src/theory/strings/word.h | |
parent | 9ece5fa56493692aff1a17c73e0039fd1b232a06 (diff) |
Add regressions for issue 6214 (#6305)
Adds 3 of the 6 benchmarks from issue 6214, the 1st and 5th benchmarks timeout.
Fixes #6214.
These benchmarks were fixed by 3c98bb2.
Diffstat (limited to 'src/theory/strings/word.h')
0 files changed, 0 insertions, 0 deletions