diff options
| author | mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu> | 2020-01-07 18:13:07 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-07 18:13:07 -0600 |
| commit | 7ce64c96d655d675778bc70d424fd72f82db589f (patch) | |
| tree | ad43650d7c2cc82d8c96098530fb04485e63defc /test/regress/CMakeLists.txt | |
| parent | b38ffa21717d220e98581854e2af1ee9d13ce5b7 (diff) | |
Universe set cardinality for finite types with finite cardinality (#3392)
* rewrote set cardinality for finite-types
* small changes and format
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 |