diff options
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 8ca9d74c3..870d83e7e 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -205,9 +205,6 @@ set(regress_0_tests regress0/bv/bv-abstr-bug2.smt2 regress0/bv/bv-int-collapse1.smt2 regress0/bv/bv-int-collapse2.smt2 - regress0/bv/bv-options1.smt2 - regress0/bv/bv-options2.smt2 - regress0/bv/bv-options3.smt2 regress0/bv/bv-options4.smt2 regress0/bv/bv-to-bool1.smtv1.smt2 regress0/bv/bv-to-bool2.smt2 @@ -681,7 +678,6 @@ set(regress_0_tests regress0/printer/let_shadowing.smt2 regress0/printer/symbol_starting_w_digit.smt2 regress0/printer/tuples_and_records.cvc - regress0/proof_no_support.smt2 regress0/push-pop/boolean/fuzz_12.smt2 regress0/push-pop/boolean/fuzz_13.smt2 regress0/push-pop/boolean/fuzz_14.smt2 |