projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c902c8) | patch
Add regression for some fixed array issues (#8145)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 24 Feb 2022 01:26:27 +0000 (19:26 -0600)
committerGitHub <noreply@github.com>
Thu, 24 Feb 2022 01:26:27 +0000 (01:26 +0000)
commit74d327467f2fc93a2a6a416cc2d95b7d493cb77f
treebe23fcdc24e799829d9a809dbc979964890d0391tree
parent5c902c8c0bc8e7d8aaa543b048345495c7ec48cdcommit | diff
Add regression for some fixed array issues (#8145)

Found while checking whether the latest fix solves array issues, these were already resolved.
Fixes #4414.
Fixes #4546.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/arrays/issue4240.smt2 [new file with mode: 0644] blob
test/regress/regress0/arrays/issue4414-2.smt2 [new file with mode: 0644] blob
test/regress/regress0/arrays/issue4414.smt2 [new file with mode: 0644] blob
test/regress/regress0/arrays/issue4546-2.smt2 [new file with mode: 0644] blob
test/regress/regress0/arrays/issue4546.smt2 [new file with mode: 0644] blob
test/regress/regress0/arrays/issue4780-3.smt2 [new file with mode: 0644] blob
test/regress/regress0/arrays/issue4780.smt2 [new file with mode: 0644] blob