diff options
Diffstat (limited to 'test/regress/CMakeLists.txt')
-rw-r--r-- | test/regress/CMakeLists.txt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 10e2f414e..5f82aedf1 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -861,6 +861,15 @@ set(regress_0_tests regress0/sep/skolem_emp.smt2 regress0/sep/trees-1.smt2 regress0/sep/wand-crash.smt2 + regress0/seq/seq-2var.smt2 + regress0/seq/seq-ex1.smt2 + regress0/seq/seq-ex2.smt2 + regress0/seq/seq-ex3.smt2 + regress0/seq/seq-ex4.smt2 + regress0/seq/seq-ex5-dd.smt2 + regress0/seq/seq-ex5.smt2 + regress0/seq/seq-nemp.smt2 + regress0/seq/seq-rewrites.smt2 regress0/sets/abt-min.smt2 regress0/sets/abt-te-exh.smt2 regress0/sets/abt-te-exh2.smt2 |