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 6dfcb922a..3c118a007 100644 --- a/test/regress/regress0/sygus/Makefile.am +++ b/test/regress/regress0/sygus/Makefile.am @@ -66,7 +66,8 @@ TESTS = commutative.sy \ cegar1.sy \ triv-type-mismatch-si.sy \ nia-max-square-ns.sy \ - strings-concat-3-args.sy + strings-concat-3-args.sy \ + ccp16.lus.sy # sygus tests currently taking too long for make regress |