diff options
Diffstat (limited to 'test/regress/Makefile.tests')
| -rw-r--r-- | test/regress/Makefile.tests | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/Makefile.tests b/test/regress/Makefile.tests index 745183a6b..ca22aba5f 100644 --- a/test/regress/Makefile.tests +++ b/test/regress/Makefile.tests @@ -1806,6 +1806,7 @@ DISABLED_TESTS = \ regress0/sets/sets-new.smt2 \ regress0/sets/sets-testlemma-ints.smt2 \ regress0/sets/sets-testlemma-reals.smt2 \ + regress0/sygus/sygus-uf.sy \ regress0/symmetric.smt \ regress0/tptp/BOO003-4.p \ regress0/tptp/BOO027-1.p \ |