projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e05ad47) | patch
Remove quantifiers regression from decision folder (#5830)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 2 Feb 2021 20:20:44 +0000 (14:20 -0600)
committerGitHub <noreply@github.com>
Tue, 2 Feb 2021 20:20:44 +0000 (14:20 -0600)
commit478638868ec11c18882b9036850cafe4ff36f4bb
tree1222ba2be38c560170a39c10cfc5d6549c1a785etree
parente05ad4759f2ae01cc06a9ca715c777d188f0f5fdcommit | diff
Remove quantifiers regression from decision folder (#5830)

This is a duplicate of https://github.com/CVC4/CVC4/blob/master/test/regress/regress1/quantifiers/symmetric_unsat_7.smt2 and moreover is slow on proof-new.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/decision/quant-symmetric_unsat_7.smt2 [deleted file] blob | history