projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 800a4e4) | patch
Add regression from #4927 (#5556)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 7 Dec 2020 13:25:08 +0000 (14:25 +0100)
committerGitHub <noreply@github.com>
Mon, 7 Dec 2020 13:25:08 +0000 (14:25 +0100)
commitcbf6e1238ad355e7369f110385342c0a5ebb89d9
tree79213d79d5022f5b0fc28cb02608dfba26c58764tree
parent800a4e4ada7b8b020f3e2fa5431b0e95d4777be7commit | diff
Add regression from #4927 (#5556)

The error from #4927 has been fixed in the meantime, this PR adds the example as regression.
Closes #4927.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/arrays/issue4927-unsat-cores.smt2 [new file with mode: 0644] blob