projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9efc82b) | patch
Remove regress for real to int (#4071)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 13 Mar 2020 18:44:07 +0000 (13:44 -0500)
committerGitHub <noreply@github.com>
Fri, 13 Mar 2020 18:44:07 +0000 (11:44 -0700)
commit5fe737f9513ef4c9c6f582d08bd8cd644a9e012c
treefae96ec6eb223ad6a62bf00c4872635379e7c952tree
parent9efc82b701f1ab3a395306662f6d4fa37b130218commit | diff
Remove regress for real to int (#4071)

Missed this one when real to int was disabled for quantifiers. Fixes regress1.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/quantifiers/real-to-int-quant.smt2 [deleted file] blob | history