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 | |
| parent | d3e6165f3766d20e21a5e2c206919aac3a24df3c (diff) | |
Fix file extension (#1919)
* Fix file extension
* Update Makefile
| -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 |