projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ece5fa) | patch
Add regressions for issue 6214 (#6305)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 9 Apr 2021 19:11:31 +0000 (14:11 -0500)
committerGitHub <noreply@github.com>
Fri, 9 Apr 2021 19:11:31 +0000 (14:11 -0500)
commite5358e498db6d934d0b8704cfd023b0f67b6fbc0
tree36acd19d5fdb0b8bde5420862a8d4a725d0cb50dtree
parent9ece5fa56493692aff1a17c73e0039fd1b232a06commit | 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.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/strings/issue6214-2-sym-re-inc.smt2 [new file with mode: 0644] blob
test/regress/regress1/strings/issue6214-3-sym-re-inc.smt2 [new file with mode: 0644] blob
test/regress/regress1/strings/issue6214-4-sym-re-inc.smt2 [new file with mode: 0644] blob