diff options
Diffstat (limited to 'test/regress/Makefile.tests')
| -rw-r--r-- | test/regress/Makefile.tests | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/regress/Makefile.tests b/test/regress/Makefile.tests index 8584eeca9..cf702ed7c 100644 --- a/test/regress/Makefile.tests +++ b/test/regress/Makefile.tests @@ -776,6 +776,7 @@ REG0_TESTS = \ regress0/strings/bug002.smt2 \ regress0/strings/bug612.smt2 \ regress0/strings/bug613.smt2 \ + regress0/strings/code-sat-neg-one.smt2 \ regress0/strings/escchar.smt2 \ regress0/strings/escchar_25.smt2 \ regress0/strings/idof-rewrites.smt2 \ @@ -1452,6 +1453,9 @@ REG1_TESTS = \ regress1/strings/str007.smt2 \ regress1/strings/string-unsound-sem.smt2 \ regress1/strings/strings-index-empty.smt2 \ + regress1/strings/strings-leq-trans-unsat.smt2 \ + regress1/strings/strings-lt-len5.smt2 \ + regress1/strings/strings-lt-simple.smt2 \ regress1/strings/strip-endpt-sound.smt2 \ regress1/strings/str-code-sat.smt2 \ regress1/strings/str-code-unsat.smt2 \ |