projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8bd0cb4) | patch
Add regressions for fixed projects issues (#8228)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 4 Mar 2022 17:22:18 +0000 (11:22 -0600)
committerGitHub <noreply@github.com>
Fri, 4 Mar 2022 17:22:18 +0000 (11:22 -0600)
commitb100b1d0c4d7b50aa78975a4e386be28294ecf94
treedf3d70b9ce284551493b6dae810c972eb18b8e46tree
parent8bd0cb485ecdc405102e7cbace37baf5c687f1b8commit | diff
Add regressions for fixed projects issues (#8228)

Fixes cvc5/cvc5-projects#119
Fixes cvc5/cvc5-projects#135
Fixes cvc5/cvc5-projects#139
Fixes cvc5/cvc5-projects#151
Fixes cvc5/cvc5-projects#155
Fixed cvc5/cvc5-projects#158
Fixes cvc5/cvc5-projects#161
Fixes cvc5/cvc5-projects#165
Fixes cvc5/cvc5-projects#177
Fixes cvc5/cvc5-projects#231
Fixes cvc5/cvc5-projects#232
Fixes cvc5/cvc5-projects#251
Fixes cvc5/cvc5-projects#253
Fixes cvc5/cvc5-projects#264
Fixes cvc5/cvc5-projects#280
Fixes cvc5/cvc5-projects#281
Fixes cvc5/cvc5-projects#282
Fixes cvc5/cvc5-projects#285
Fixes cvc5/cvc5-projects#286
Fixes cvc5/cvc5-projects#290
Fixes cvc5/cvc5-projects#295
23 files changed:
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/sets/proj-issue177.smt2 [new file with mode: 0644] blob
test/regress/regress1/arith/proj-issue158.smt2 [new file with mode: 0644] blob
test/regress/regress1/ho/proj-issue139-2.smt2 [new file with mode: 0644] blob
test/regress/regress1/nl/proj-issue231.smt2 [new file with mode: 0644] blob
test/regress/regress1/nl/proj-issue232.smt2 [new file with mode: 0644] blob
test/regress/regress1/nl/proj-issue251.smt2 [new file with mode: 0644] blob
test/regress/regress1/nl/proj-issue253.smt2 [new file with mode: 0644] blob
test/regress/regress1/nl/proj-issue280.smt2 [new file with mode: 0644] blob
test/regress/regress1/nl/proj-issue282.smt2 [new file with mode: 0644] blob
test/regress/regress1/nl/proj-issue286.smt2 [new file with mode: 0644] blob
test/regress/regress1/nl/proj-issue290.smt2 [new file with mode: 0644] blob
test/regress/regress1/push-pop/proj-issue161.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/proj-issue151-2.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/proj-issue155.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/proj-issue285.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/proj-issue295.smt2 [new file with mode: 0644] blob
test/regress/regress1/strings/proj-issue281.smt2 [new file with mode: 0644] blob
test/regress/regress1/sygus/issue4425-sets-sygus-infer.smt2 [new file with mode: 0644] blob
test/regress/regress1/sygus/proj-issue135.smt2 [new file with mode: 0644] blob
test/regress/regress1/sygus/proj-issue165.smt2 [new file with mode: 0644] blob
test/regress/regress1/sygus/proj-issue264.smt2 [new file with mode: 0644] blob
test/regress/regress2/sygus/proj-issue119.sy [new file with mode: 0644] blob