projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 215519d) | patch
Add regression for fixed issue (#7365)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 14 Oct 2021 21:12:09 +0000 (16:12 -0500)
committerGitHub <noreply@github.com>
Thu, 14 Oct 2021 21:12:09 +0000 (21:12 +0000)
commit4affc8f76d443e453de62151979567e702da431e
treefb7425d117620b5b9b9024d11a257a66c6e52df0tree
parent215519d099aee88bf53bddc71f071382484d29c0commit | diff
Add regression for fixed issue (#7365)

Fixes #6845.

This issue does not occur in current master.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/quantifiers/issue6845-nl-lemma-tc.smt2 [new file with mode: 0644] blob