diff options
Diffstat (limited to 'test/regress/Makefile.tests')
| -rw-r--r-- | test/regress/Makefile.tests | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/regress/Makefile.tests b/test/regress/Makefile.tests index aa896258f..cef27bc72 100644 --- a/test/regress/Makefile.tests +++ b/test/regress/Makefile.tests @@ -814,6 +814,7 @@ REG0_TESTS = \ regress0/strings/type001.smt2 \ regress0/strings/unsound-0908.smt2 \ regress0/sygus/General_plus10.sy \ + regress0/sygus/aig-si.sy \ regress0/sygus/c100.sy \ regress0/sygus/ccp16.lus.sy \ regress0/sygus/check-generic-red.sy \ @@ -1502,6 +1503,8 @@ REG1_TESTS = \ regress1/sygus/constant.sy \ regress1/sygus/constant-ite-bv.sy \ regress1/sygus/crci-ssb-unk.sy \ + regress1/sygus/crcy-si-rcons.sy \ + regress1/sygus/crcy-si.sy \ regress1/sygus/dt-test-ns.sy \ regress1/sygus/dup-op.sy \ regress1/sygus/fg_polynomial3.sy \ @@ -1526,6 +1529,7 @@ REG1_TESTS = \ regress1/sygus/nia-max-square-ns.sy \ regress1/sygus/no-flat-simp.sy \ regress1/sygus/no-mention.sy \ + regress1/sygus/parity-si-rcons.sy \ regress1/sygus/pbe_multi.sy \ regress1/sygus/planning-unif.sy \ regress1/sygus/process-10-vars.sy \ @@ -1541,6 +1545,8 @@ REG1_TESTS = \ regress1/sygus/strings-trivial-two-type.sy \ regress1/sygus/strings-trivial.sy \ regress1/sygus/sygus-dt.sy \ + regress1/sygus/sygus-uf-ex.sy \ + regress1/sygus/t8.sy \ regress1/sygus/tl-type-0.sy \ regress1/sygus/tl-type-4x.sy \ regress1/sygus/tl-type.sy \ @@ -1549,6 +1555,7 @@ REG1_TESTS = \ regress1/sygus/twolets2-orig.sy \ regress1/sygus/unbdd_inv_gen_ex7.sy \ regress1/sygus/unbdd_inv_gen_winf1.sy \ + regress1/sygus/univ_2-long-repeat.sy \ regress1/sym/sym1.smt2 \ regress1/sym/sym2.smt2 \ regress1/sym/sym3.smt2 \ |