diff options
author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2021-12-01 20:12:30 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-02 02:12:30 +0000 |
commit | 70997d0e3ebf2027279373d9594c66119f3fa656 (patch) | |
tree | a7ce0933bf70efa43507cb3cb3db99220113f426 /test/regress/CMakeLists.txt | |
parent | 6afc21a16e740d4fb4a16cdbd9a6ff745c7ce00c (diff) |
add bag.fold operator (#7718)
Diffstat (limited to 'test/regress/CMakeLists.txt')
-rw-r--r-- | test/regress/CMakeLists.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index cf114711a..4169036ba 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -1606,6 +1606,7 @@ set(regress_1_tests regress1/bags/duplicate_removal1.smt2 regress1/bags/duplicate_removal2.smt2 regress1/bags/emptybag1.smt2 + regress1/bags/fold1.smt2 regress1/bags/fuzzy1.smt2 regress1/bags/fuzzy2.smt2 regress1/bags/fuzzy3.smt2 @@ -2820,6 +2821,8 @@ set(regression_disabled_tests regress0/tptp/SYN075+1.p regress0/uf/iso_icl_repgen004.smtv1.smt2 ### + # takes around 30 sec + regress1/bags/fold2.smt2 regress1/bug472.smt2 regress1/datatypes/non-simple-rec-set.smt2 # results in an assertion failure (see issue #1650). |