diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-25 12:09:42 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-25 12:09:42 -0500 |
| commit | 91565cda11ad42082a11055514e12ddeee459460 (patch) | |
| tree | 56df21e0a0c5d0734cd40b3ce93ced2c2beac54d /test/regress/CMakeLists.txt | |
| parent | 4f384b6fadd999324d83b4c4ea900de2a0e13dd7 (diff) | |
Add isParameterized function to Expr (#3303)
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 6dc44e314..bcae83b0a 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -1650,6 +1650,7 @@ set(regress_1_tests regress1/sygus/clock-inc-tuple.sy regress1/sygus/commutative-stream.sy regress1/sygus/commutative.sy + regress1/sygus/concat_extract_example.sy regress1/sygus/constant-bool-si-all.sy regress1/sygus/constant-dec-tree-bug.sy regress1/sygus/constant-ite-bv.sy |