diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-02-02 14:20:44 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-02 14:20:44 -0600 |
| commit | 478638868ec11c18882b9036850cafe4ff36f4bb (patch) | |
| tree | 1222ba2be38c560170a39c10cfc5d6549c1a785e /test/regress/CMakeLists.txt | |
| parent | e05ad4759f2ae01cc06a9ca715c777d188f0f5fd (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.
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index de84761f0..4cee236c1 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -1474,7 +1474,6 @@ set(regress_1_tests regress1/datatypes/non-simple-rec-param.smt2 regress1/decision/error3.smtv1.smt2 regress1/decision/quant-Arrays_Q1-noinfer.smt2 - regress1/decision/quant-symmetric_unsat_7.smt2 regress1/error.cvc regress1/errorcrash.smt2 regress1/fmf-fun-dbu.smt2 |