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 9db34bca2..d27988d70 100644 --- a/test/regress/Makefile.tests +++ b/test/regress/Makefile.tests @@ -1517,6 +1517,7 @@ REG1_TESTS = \ regress1/sygus/cggmp.sy \ regress1/sygus/clock-inc-tuple.sy \ regress1/sygus/commutative.sy \ + regress1/sygus/commutative-stream.sy \ regress1/sygus/constant.sy \ regress1/sygus/constant-bool-si-all.sy \ regress1/sygus/constant-dec-tree-bug.sy \ @@ -1571,6 +1572,7 @@ REG1_TESTS = \ regress1/sygus/tl-type-0.sy \ regress1/sygus/tl-type-4x.sy \ regress1/sygus/tl-type.sy \ + regress1/sygus/trivial-stream.sy \ regress1/sygus/triv-type-mismatch-si.sy \ regress1/sygus/twolets1.sy \ regress1/sygus/twolets2-orig.sy \ |