diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-21 14:02:24 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-21 14:02:24 -0600 |
commit | 60f1dd27da89be80c172e15e01c49f58e0ceb6c0 (patch) | |
tree | b8aef41ea8e9e37d559b6309d7337109a7fd33aa /test/regress/regress0/quantifiers/Makefile.am | |
parent | 4a12827561bc070fb5c7fd9baf1320a6bf154bc2 (diff) |
Cegqi bv remove extract terms preprocess pass (#1376)
* Preprocess extract -> concat pass for cegqi bv.
* Add sygus bench
* Fixes, infrastructure.
* Minor fixes.
* Try
* Minor
* Minor
* Document
* Format
* Improving debug messages.
* Address
* Format
* Overlapping extracts.
* Format
* Minor
* Address review.
* Format
* Comment
* Format
Diffstat (limited to 'test/regress/regress0/quantifiers/Makefile.am')
-rw-r--r-- | test/regress/regress0/quantifiers/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/regress0/quantifiers/Makefile.am b/test/regress/regress0/quantifiers/Makefile.am index 274dcaff0..c59570651 100644 --- a/test/regress/regress0/quantifiers/Makefile.am +++ b/test/regress/regress0/quantifiers/Makefile.am @@ -115,6 +115,7 @@ TESTS = \ NUM878.smt2 \ psyco-107-bv.smt2 \ ari118-bv-2occ-x.smt2 \ + extract-nproc.smt2 \ javafe.ast.StandardPrettyPrint.319.smt2 \ javafe.ast.StmtVec.009.smt2 \ javafe.ast.WhileStmt.447.smt2 \ |