diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-11-11 11:07:27 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-11 11:07:27 -0600 |
| commit | 08cf2fcc63aadd2a7bb4f78b12ceda17ee570121 (patch) | |
| tree | f70f7a88aa9704c7a0506fd8a0e6fdb69667414b /test/regress/CMakeLists.txt | |
| parent | 96c48c057b9e9f8d5c4bf9b2fa3b94c1d5861de7 (diff) | |
| parent | 5d1c52999d78d5e825654d729279df8c49488133 (diff) | |
Merge branch 'master' into fix3089fix3089
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 c98dd1be2..aa5329e2f 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -1718,6 +1718,7 @@ set(regress_1_tests regress1/sygus/large-const-simp.sy regress1/sygus/let-bug-simp.sy regress1/sygus/list-head-x.sy + regress1/sygus/list_recursor.sy regress1/sygus/logiccell_help.sy regress1/sygus/max.sy regress1/sygus/max2-bv.sy |