projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e099e59) | patch
Add regressions for fixed issue (#8237)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Sat, 5 Mar 2022 01:46:57 +0000 (02:46 +0100)
committerGitHub <noreply@github.com>
Sat, 5 Mar 2022 01:46:57 +0000 (01:46 +0000)
commitbd992288696666553dd0ec1d1f67620a46a06cc9
treecd38f47152384a9fa8c3af1d1368f1c005de0c58tree
parente099e59f544d204ff74b2a8f26994795a2d6fb3ecommit | diff
Add regressions for fixed issue (#8237)

Adds regressions for an issue that has been fixed in the meantime.
Fixes #4334
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/nl/issue4334-sat-proof-min.smt2 [new file with mode: 0644] blob
test/regress/regress1/nl/issue4334-sat-proof.smt2 [new file with mode: 0644] blob