diff options
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 a3dbd847a..7f3c693c0 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -861,6 +861,8 @@ set(regress_0_tests regress0/sep/skolem_emp.smt2 regress0/sep/trees-1.smt2 regress0/sep/wand-crash.smt2 + regress0/seq/intseq.smt2 + regress0/seq/intseq_dt.smt2 regress0/seq/seq-2var.smt2 regress0/seq/seq-ex1.smt2 regress0/seq/seq-ex2.smt2 @@ -869,6 +871,10 @@ set(regress_0_tests regress0/seq/seq-ex5-dd.smt2 regress0/seq/seq-ex5.smt2 regress0/seq/seq-nemp.smt2 + regress0/seq/seq-nth.smt2 + regress0/seq/seq-nth-uf.smt2 + regress0/seq/seq-nth-uf-z.smt2 + regress0/seq/seq-nth-undef.smt2 regress0/seq/seq-rewrites.smt2 regress0/sets/abt-min.smt2 regress0/sets/abt-te-exh.smt2 |