diff options
Diffstat (limited to 'test/regress/Makefile.tests')
| -rw-r--r-- | test/regress/Makefile.tests | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regress/Makefile.tests b/test/regress/Makefile.tests index e773bf698..f766396a1 100644 --- a/test/regress/Makefile.tests +++ b/test/regress/Makefile.tests @@ -1513,6 +1513,7 @@ REG1_TESTS = \ regress1/strings/type003.smt2 \ regress1/strings/username_checker_min.smt2 \ regress1/sygus/VC22_a.sy \ + regress1/sygus/abv.sy \ regress1/sygus/array_search_2.sy \ regress1/sygus/array_search_5-Q-easy.sy \ regress1/sygus/array_sum_2_5.sy \ @@ -1546,6 +1547,7 @@ REG1_TESTS = \ regress1/sygus/inv-example.sy \ regress1/sygus/inv-unused.sy \ regress1/sygus/large-const-simp.sy \ + regress1/sygus/let-bug-simp.sy \ regress1/sygus/list-head-x.sy \ regress1/sygus/logiccell_help.sy \ regress1/sygus/max.sy \ |