diff options
| author | Tim King <taking@cs.nyu.edu> | 2015-04-15 21:34:37 +0200 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2015-04-15 21:34:59 +0200 |
| commit | 15d1cd77d1ab30bcbd2d89b77a3f2aab577b86cf (patch) | |
| tree | d7e59774f7684f515763a958cdc7b238ef89ba11 /test | |
| parent | 4f438adfde5031ade6e9a4df7668219ddc9d493d (diff) | |
Enabling the regression test: test/regress/regress0/unconstrained/mult1.smt2
Diffstat (limited to 'test')
| -rw-r--r-- | test/regress/regress0/unconstrained/Makefile.am | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/test/regress/regress0/unconstrained/Makefile.am b/test/regress/regress0/unconstrained/Makefile.am index 4136566a0..f79f68c76 100644 --- a/test/regress/regress0/unconstrained/Makefile.am +++ b/test/regress/regress0/unconstrained/Makefile.am @@ -71,9 +71,8 @@ TESTS = \ lt.smt2 \ uf1.smt2 \ uf2.smt2 \ - xor.smt2 - -# mult1.smt2 + xor.smt2 \ + mult1.smt2 EXTRA_DIST = $(TESTS) |