diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-17 13:29:15 -0500 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-17 11:29:15 -0700 |
commit | 58ee4bc13c37bf25ddafd07bc09c8d975dc6d62d (patch) | |
tree | a0003640718152afbca7fb5718753e2ff4d9e521 /test/regress/Makefile.tests | |
parent | 55050d2a3dff2d0428171c51d0ac54626d579d3a (diff) |
Add sygus stream regressions (#2330)
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 \ |