diff options
author | Caleb Donovick <cdonovick@users.noreply.github.com> | 2018-05-21 08:29:14 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-21 18:29:14 +0300 |
commit | 030480e368b0373e09aa89f68f8ae916b7fccd1b (patch) | |
tree | 4889fe6a39b0e6328f35de46e9c34b9c6b8b93d3 /test | |
parent | d3e6165f3766d20e21a5e2c206919aac3a24df3c (diff) |
Fix file extension (#1919)
* Fix file extension
* Update Makefile
Diffstat (limited to 'test')
-rw-r--r-- | test/regress/Makefile.tests | 1 | ||||
-rw-r--r-- | test/regress/regress0/sygus/sygus-uf.sy (renamed from test/regress/regress0/sygus/sygus-uf.sl) | 0 |
2 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 \ diff --git a/test/regress/regress0/sygus/sygus-uf.sl b/test/regress/regress0/sygus/sygus-uf.sy index 95cd8771e..95cd8771e 100644 --- a/test/regress/regress0/sygus/sygus-uf.sl +++ b/test/regress/regress0/sygus/sygus-uf.sy |