diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-26 23:25:14 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-26 23:25:14 -0500 |
| commit | 9d98c926c971b70a04b8206e5b18c84b1dfeb38a (patch) | |
| tree | 246cc806b018451c6bbad8acec71ab909c29c6e2 /test/regress/CMakeLists.txt | |
| parent | 8b8e40985b83354e7e4a503d217374eb7fbc45f0 (diff) | |
Fix homogeneous string constant rewrite (#2545)
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 5252954dc..cec33c615 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -797,6 +797,7 @@ set(regress_0_tests regress0/strings/code-sat-neg-one.smt2 regress0/strings/escchar.smt2 regress0/strings/escchar_25.smt2 + regress0/strings/hconst-092618.smt2 regress0/strings/idof-rewrites.smt2 regress0/strings/idof-sem.smt2 regress0/strings/ilc-like.smt2 |