diff options
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 db6a7ae48..151e01088 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -604,6 +604,7 @@ set(regress_0_tests regress0/fp/issue6164.smt2 regress0/fp/rti_3_5_bug.smt2 regress0/fp/simple.smt2 + regress0/fp/word-blast.smt2 regress0/fp/wrong-model.smt2 regress0/fuzz_1.smtv1.smt2 regress0/fuzz_3.smtv1.smt2 @@ -1649,6 +1650,7 @@ set(regress_1_tests regress1/issue5739-rtf-processed.smt2 regress1/lemmas/clocksynchro_5clocks.main_invar.base.smtv1.smt2 regress1/lemmas/pursuit-safety-8.smtv1.smt2 + regress1/minimal_unsat_core.smt2 regress1/model-blocker-simple.smt2 regress1/model-blocker-values.smt2 regress1/nl/approx-sqrt.smt2 @@ -2504,6 +2506,7 @@ set(regress_2_tests regress2/strings/issue6057-replace-re-all-simplified.smt2 regress2/strings/issue6636-replace-re-all.smt2 regress2/strings/issue6637-replace-re-all.smt2 + regress2/strings/issue6639-replace-re-all.smt2 regress2/strings/issue918.smt2 regress2/strings/non_termination_regular_expression6.smt2 regress2/strings/range-perf.smt2 |