diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-13 09:53:02 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-13 09:53:02 -0600 |
| commit | 9acb8b8d0d529c4780191660f8ef2b51e4a92926 (patch) | |
| tree | 1ee538fbc959102d4778cfc74047ee4df87a36c2 /test/regress/CMakeLists.txt | |
| parent | 866f7fb6d4642a51893b0978114b432f990f4c9d (diff) | |
Add support for set comprehension (#3312)
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 73393d29a..c4dfd2593 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -803,6 +803,7 @@ set(regress_0_tests regress0/sets/complement.cvc regress0/sets/complement2.cvc regress0/sets/complement3.cvc + regress0/sets/comp-qf-error.smt2 regress0/sets/cvc-sample.cvc regress0/sets/dt-simp-mem.smt2 regress0/sets/emptyset.smt2 @@ -1565,6 +1566,10 @@ set(regress_1_tests regress1/sets/card-6.smt2 regress1/sets/card-7.smt2 regress1/sets/card-vc6-minimized.smt2 + regress1/sets/comp-intersect.smt2 + regress1/sets/comp-odd.smt2 + regress1/sets/comp-positive.smt2 + 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/fuzz14418.smt2 @@ -1577,6 +1582,7 @@ set(regress_1_tests regress1/sets/remove_check_free_31_6.smt2 regress1/sets/sets-disequal.smt2 regress1/sets/sets-tuple-poly.cvc + regress1/sets/set-comp-sat.smt2 regress1/sets/sharingbug.smt2 regress1/sets/univ-set-uf-elim.smt2 regress1/simplification_bug4.smt2 |