diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-04-10 18:52:54 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-10 18:52:54 -0700 |
commit | 6b5b926f28b66c3812d77fd234e93b9eee03f71f (patch) | |
tree | d742dcc4ce4176e874ac4ca7b2541fc06b47630c /test/unit/Makefile.am | |
parent | e5d09628376cc101cbd3646dd64041170dacb402 (diff) |
Refactored BVGauss preprocessing pass. (#1766)
Diffstat (limited to 'test/unit/Makefile.am')
-rw-r--r-- | test/unit/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index b445583ac..cc9f6fb1b 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -9,7 +9,6 @@ UNIT_TESTS += \ theory/logic_info_white \ theory/theory_arith_white \ theory/theory_black \ - theory/theory_bv_bvgauss_white \ theory/theory_bv_white \ theory/theory_engine_white \ theory/theory_quantifiers_bv_instantiator_white \ @@ -31,6 +30,7 @@ UNIT_TESTS += \ expr/type_node_white \ parser/parser_black \ parser/parser_builder_black \ + preprocessing/pass_bv_gauss_white \ prop/cnf_stream_white \ context/context_black \ context/context_white \ |