projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9302566) | patch
Add regressions for fixed projects issues (#7739)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 6 Dec 2021 18:27:11 +0000 (12:27 -0600)
committerGitHub <noreply@github.com>
Mon, 6 Dec 2021 18:27:11 +0000 (18:27 +0000)
commit0d83eb48cdec63e03649d69eb5dca25fcdf98d87
treee3f28646cb20500a81a3d8d2199bb261ba17f311tree
parent930256658ba51dd20a0aaaf4077d1b9e8f032ad8commit | diff
Add regressions for fixed projects issues (#7739)

Fixes cvc5/cvc5-projects#164.
Fixes cvc5/cvc5-projects#172.
Fixes cvc5/cvc5-projects#175.
Fixes cvc5/cvc5-projects#178.
Fixes cvc5/cvc5-projects#181.
Fixes cvc5/cvc5-projects#183.
Fixes cvc5/cvc5-projects#185.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/datatypes/proj-issue172.smt2 [new file with mode: 0644] blob
test/regress/regress1/proj-issue175.smt2 [new file with mode: 0644] blob
test/regress/regress1/sets/proj-issue164.smt2 [new file with mode: 0644] blob
test/regress/regress1/sets/proj-issue178.smt2 [new file with mode: 0644] blob
test/regress/regress1/sygus/proj-issue181.smt2 [new file with mode: 0644] blob
test/regress/regress1/sygus/proj-issue183.smt2 [new file with mode: 0644] blob
test/regress/regress1/sygus/proj-issue185.smt2 [new file with mode: 0644] blob