projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 192c6c7) | patch
Add regressions for closed issues (#5526)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 25 Nov 2020 19:35:58 +0000 (13:35 -0600)
committerGitHub <noreply@github.com>
Wed, 25 Nov 2020 19:35:58 +0000 (13:35 -0600)
commit8e21ca2de274f82ded4429d21a34741fc1501b1b
tree17b1b67f767f2be346d0262c8980ac6fed7842e3tree
parent192c6c7667f74c91f4769b009cf8acc131292098commit | diff
Add regressions for closed issues (#5526)

We can close #5520, we can close #5378.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/arith/issue4985-model-success.smt2 [new file with mode: 0644] blob
test/regress/regress1/arith/issue4985b-model-success.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/issue5378-witness.smt2 [new file with mode: 0644] blob
test/regress/regress1/strings/issue5520-re-consume.smt2 [new file with mode: 0644] blob