projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca532e0) | patch
Add regression. (#5994)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Thu, 25 Feb 2021 13:34:40 +0000 (14:34 +0100)
committerGitHub <noreply@github.com>
Thu, 25 Feb 2021 13:34:40 +0000 (14:34 +0100)
commit73e83f6350915e52fbc29f69da24b1507fce1c9f
treeb8a883a0106794ea8c11f1a4af01393bd963ac2etree
parentca532e04c4b484bbd5c99e0da62e07814dd77d6dcommit | diff
Add regression. (#5994)

This PR adds the test case from #5187 as a regression.
Fixes #5187.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/issue5187-div-justification.smt2 [new file with mode: 0644] blob