diff options
Diffstat (limited to 'test/regress/regress0/sygus/Makefile.am')
| -rw-r--r-- | test/regress/regress0/sygus/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/sygus/Makefile.am b/test/regress/regress0/sygus/Makefile.am index a297cee81..6dfcb922a 100644 --- a/test/regress/regress0/sygus/Makefile.am +++ b/test/regress/regress0/sygus/Makefile.am @@ -65,7 +65,8 @@ TESTS = commutative.sy \ parse-bv-let.sy \ cegar1.sy \ triv-type-mismatch-si.sy \ - nia-max-square-ns.sy + nia-max-square-ns.sy \ + strings-concat-3-args.sy # sygus tests currently taking too long for make regress |