diff options
Diffstat (limited to 'test/regress/CMakeLists.txt')
-rw-r--r-- | test/regress/CMakeLists.txt | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index a53201e3e..22848ff97 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -1583,6 +1583,22 @@ set(regress_1_tests regress1/sets/comp-pos-member.smt2 regress1/sets/copy_check_heap_access_33_4.smt2 regress1/sets/deepmeas0.hs.fqout.cvc4.41.smt2 + regress1/sets/finite-type/sets-card-arrcolor.smt2 + regress1/sets/finite-type/sets-card-arrunit.smt2 + regress1/sets/finite-type/sets-card-bool-1.smt2 + regress1/sets/finite-type/sets-card-bool-2.smt2 + regress1/sets/finite-type/sets-card-bool-3.smt2 + regress1/sets/finite-type/sets-card-bool-4.smt2 + regress1/sets/finite-type/sets-card-bool-rec.smt2 + regress1/sets/finite-type/sets-card-bv-1.smt2 + regress1/sets/finite-type/sets-card-bv-2.smt2 + regress1/sets/finite-type/sets-card-bv-3.smt2 + regress1/sets/finite-type/sets-card-bv-4.smt2 + regress1/sets/finite-type/sets-card-color.smt2 + regress1/sets/finite-type/sets-card-color-sat.smt2 + regress1/sets/finite-type/sets-card-datatype-1.smt2 + regress1/sets/finite-type/sets-card-datatype-2.smt2 + regress1/sets/finite-type/sets-card-neg-mem-union-1.smt2 regress1/sets/fuzz14418.smt2 regress1/sets/fuzz15201.smt2 regress1/sets/fuzz31811.smt2 @@ -2277,6 +2293,7 @@ set(regression_disabled_tests regress1/rewriterules/test_guards.smt2 regress1/rewriterules/why3_vstte10_max_sum_harness2.smt2 regress1/sets/setofsets-disequal.smt2 + regress1/sets/finite-type/sets-card-neg-mem-union-2.smt2 regress1/simple-rdl-definefun.smt2 # does not solve after minor modification to search regress1/sygus/car_3.lus.sy |