diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-26 21:54:29 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-26 21:54:29 -0600 |
| commit | 87f3741db6ed41d3a776774bc1b60fd696585391 (patch) | |
| tree | 26f2498075d175ecc6c18743cb21ff3998ccc008 /test/regress/CMakeLists.txt | |
| parent | cca153771119b70cbf01a3d05d8e2fd8d7e8636a (diff) | |
Add support for is_digit and regular expression difference (#3828)
Towards support for the strings standard. This adds support for str.is_digit and re.diff, which both can be eliminated eager during preprocessing.
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 295575728..7be085d48 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -906,6 +906,7 @@ set(regress_0_tests regress0/strings/idof-sem.smt2 regress0/strings/ilc-like.smt2 regress0/strings/indexof-sym-simp.smt2 + regress0/strings/is_digit_simple.smt2 regress0/strings/issue1189.smt2 regress0/strings/issue2958.smt2 regress0/strings/issue3440.smt2 @@ -921,6 +922,7 @@ set(regress_0_tests regress0/strings/parser-syms.cvc regress0/strings/re.all.smt2 regress0/strings/re-syntax.smt2 + regress0/strings/re_diff.smt2 regress0/strings/regexp-native-simple.cvc regress0/strings/regexp_inclusion.smt2 regress0/strings/regexp_inclusion_reduction.smt2 |