From 9359ab7ce534587367a8f13364e56291e65be4db Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 21 Oct 2012 22:16:58 -0700 Subject: [PATCH] checkpoint Signed-off-by: Leonardo de Moura --- scripts/mk_make.py | 2 ++ src/{dead => array_property}/array_property_expander.cpp | 0 src/{dead => array_property}/array_property_expander.h | 0 src/{dead => array_property}/array_property_recognizer.cpp | 0 src/{dead => array_property}/array_property_recognizer.h | 0 {test => src/dead/test}/ackermanize.cpp | 0 {test => src/dead/test}/core_theory.cpp | 0 {test => src/dead/test}/dimacs.cpp | 0 {test => src/dead/test}/distinct.cpp | 0 {test => src/dead/test}/fingerprint.cpp | 0 {test => src/dead/test}/gate.cpp | 0 {test => src/dead/test}/interval_arithmetic.cpp | 0 {test => src/dead/test}/relevancy.cpp | 0 {test => src/dead/test}/sat.cpp | 0 {test => src/dead/test}/simplex_polynomial.cpp | 0 {test => src/dead/test}/template_models.cpp | 0 {test => src/dead/test}/th_propagation.cpp | 0 {test => src/dead/test}/trail.cpp | 0 {test => src/dead/test}/watch_list.cpp | 0 {test => src/test}/algebraic.cpp | 0 {test => src/test}/api.cpp | 0 {test => src/test}/api_bug.cpp | 0 {test => src/test}/arith_rewriter.cpp | 0 {test => src/test}/arith_simplifier_plugin.cpp | 0 {test => src/test}/array_property_expander.cpp | 0 {test => src/test}/ast.cpp | 0 {test => src/test}/ast_pp.cpp | 0 {test => src/test}/ast_smt_pp.cpp | 0 {test => src/test}/bit_blaster.cpp | 0 {test => src/test}/bit_vector.cpp | 0 {test => src/test}/bits.cpp | 0 {test => src/test}/buffer.cpp | 0 {test => src/test}/bv_simplifier_plugin.cpp | 0 {test => src/test}/chashtable.cpp | 0 {test => src/test}/check_assumptions.cpp | 0 {test => src/test}/datalog_parser.cpp | 0 {test => src/test}/diff_logic.cpp | 0 {test => src/test}/dl_context.cpp | 0 {test => src/test}/dl_product_relation.cpp | 0 {test => src/test}/dl_query.cpp | 0 {test => src/test}/dl_relation.cpp | 0 {test => src/test}/dl_rule_set.cpp | 0 {test => src/test}/dl_smt_relation.cpp | 0 {test => src/test}/dl_table.cpp | 0 {test => src/test}/dl_util.cpp | 0 {test => src/test}/escaped.cpp | 0 {test => src/test}/ex.cpp | 0 {test => src/test}/expr_context_simplifier.cpp | 0 {test => src/test}/expr_delta.cpp | 0 {test => src/test}/expr_pattern_match.cpp | 0 {test => src/test}/expr_rand.cpp | 0 {test => src/test}/ext_numeral.cpp | 0 {test => src/test}/f2n.cpp | 0 {test => src/test}/factor_rewriter.cpp | 0 {test => src/test}/for_each_file.cpp | 0 {test => src/test}/for_each_file.h | 0 {test => src/test}/fvi.cpp | 0 {test => src/test}/get_implied_equalities.cpp | 0 {test => src/test}/grobner.cpp | 0 {test => src/test}/hashtable.cpp | 0 {test => src/test}/heap.cpp | 0 {test => src/test}/horn_subsume_model_converter.cpp | 0 {test => src/test}/hwf.cpp | 0 {test => src/test}/im_float_config.h | 0 {test => src/test}/imdd.cpp | 0 {test => src/test}/inf_rational.cpp | 0 {test => src/test}/ini_file.cpp | 0 {test => src/test}/interval.cpp | 0 {test => src/test}/interval_skip_list.cpp | 0 {test => src/test}/list.cpp | 0 {test => src/test}/main.cpp | 0 {test => src/test}/map.cpp | 0 {test => src/test}/matcher.cpp | 0 {test => src/test}/memory.cpp | 0 {test => src/test}/model2expr.cpp | 0 {test => src/test}/model_retrieval.cpp | 0 {test => src/test}/mpbq.cpp | 0 {test => src/test}/mpf.cpp | 0 {test => src/test}/mpff.cpp | 0 {test => src/test}/mpfx.cpp | 0 {test => src/test}/mpq.cpp | 0 {test => src/test}/mpz.cpp | 0 {test => src/test}/nlarith_util.cpp | 0 {test => src/test}/nlsat.cpp | 0 {test => src/test}/no_overflow.cpp | 0 {test => src/test}/object_allocator.cpp | 0 {test => src/test}/old_interval.cpp | 0 {test => src/test}/optional.cpp | 0 {test => src/test}/par_dll.cpp | 0 {test => src/test}/parallel.cpp | 0 {test => src/test}/parray.cpp | 0 {test => src/test}/permutation.cpp | 0 {test => src/test}/polynomial.cpp | 0 {test => src/test}/polynomial_factorization.cpp | 0 {test => src/test}/prime_generator.cpp | 0 {test => src/test}/proof_checker.cpp | 0 {test => src/test}/qe_defs.cpp | 0 {test => src/test}/quant_elim.cpp | 0 {test => src/test}/quant_solve.cpp | 0 {test => src/test}/random.cpp | 0 {test => src/test}/rational.cpp | 0 {test => src/test}/region.cpp | 0 {test => src/test}/simple_parser.cpp | 0 {test => src/test}/simplifier.cpp | 0 {test => src/test}/small_object_allocator.cpp | 0 {test => src/test}/smt2print_parse.cpp | 0 {test => src/test}/smt_context.cpp | 0 {test => src/test}/smtparser.cpp | 0 {test => src/test}/splay_tree.cpp | 0 {test => src/test}/stack.cpp | 0 {test => src/test}/string_buffer.cpp | 0 {test => src/test}/substitution.cpp | 0 {test => src/test}/symbol.cpp | 0 {test => src/test}/symbol_table.cpp | 0 {test => src/test}/symmetry.cpp | 0 {test => src/test}/test_util.h | 0 {test => src/test}/theory_dl.cpp | 0 {test => src/test}/timeout.cpp | 0 {test => src/test}/total_order.cpp | 0 {test => src/test}/trigo.cpp | 0 {test => src/test}/uint_set.cpp | 0 {test => src/test}/upolynomial.cpp | 0 {test => src/test}/var_subst.cpp | 0 {test => src/test}/vector.cpp | 0 124 files changed, 2 insertions(+) rename src/{dead => array_property}/array_property_expander.cpp (100%) rename src/{dead => array_property}/array_property_expander.h (100%) rename src/{dead => array_property}/array_property_recognizer.cpp (100%) rename src/{dead => array_property}/array_property_recognizer.h (100%) rename {test => src/dead/test}/ackermanize.cpp (100%) rename {test => src/dead/test}/core_theory.cpp (100%) rename {test => src/dead/test}/dimacs.cpp (100%) rename {test => src/dead/test}/distinct.cpp (100%) rename {test => src/dead/test}/fingerprint.cpp (100%) rename {test => src/dead/test}/gate.cpp (100%) rename {test => src/dead/test}/interval_arithmetic.cpp (100%) rename {test => src/dead/test}/relevancy.cpp (100%) rename {test => src/dead/test}/sat.cpp (100%) rename {test => src/dead/test}/simplex_polynomial.cpp (100%) rename {test => src/dead/test}/template_models.cpp (100%) rename {test => src/dead/test}/th_propagation.cpp (100%) rename {test => src/dead/test}/trail.cpp (100%) rename {test => src/dead/test}/watch_list.cpp (100%) rename {test => src/test}/algebraic.cpp (100%) rename {test => src/test}/api.cpp (100%) rename {test => src/test}/api_bug.cpp (100%) rename {test => src/test}/arith_rewriter.cpp (100%) rename {test => src/test}/arith_simplifier_plugin.cpp (100%) rename {test => src/test}/array_property_expander.cpp (100%) rename {test => src/test}/ast.cpp (100%) rename {test => src/test}/ast_pp.cpp (100%) rename {test => src/test}/ast_smt_pp.cpp (100%) rename {test => src/test}/bit_blaster.cpp (100%) rename {test => src/test}/bit_vector.cpp (100%) rename {test => src/test}/bits.cpp (100%) rename {test => src/test}/buffer.cpp (100%) rename {test => src/test}/bv_simplifier_plugin.cpp (100%) rename {test => src/test}/chashtable.cpp (100%) rename {test => src/test}/check_assumptions.cpp (100%) rename {test => src/test}/datalog_parser.cpp (100%) rename {test => src/test}/diff_logic.cpp (100%) rename {test => src/test}/dl_context.cpp (100%) rename {test => src/test}/dl_product_relation.cpp (100%) rename {test => src/test}/dl_query.cpp (100%) rename {test => src/test}/dl_relation.cpp (100%) rename {test => src/test}/dl_rule_set.cpp (100%) rename {test => src/test}/dl_smt_relation.cpp (100%) rename {test => src/test}/dl_table.cpp (100%) rename {test => src/test}/dl_util.cpp (100%) rename {test => src/test}/escaped.cpp (100%) rename {test => src/test}/ex.cpp (100%) rename {test => src/test}/expr_context_simplifier.cpp (100%) rename {test => src/test}/expr_delta.cpp (100%) rename {test => src/test}/expr_pattern_match.cpp (100%) rename {test => src/test}/expr_rand.cpp (100%) rename {test => src/test}/ext_numeral.cpp (100%) rename {test => src/test}/f2n.cpp (100%) rename {test => src/test}/factor_rewriter.cpp (100%) rename {test => src/test}/for_each_file.cpp (100%) rename {test => src/test}/for_each_file.h (100%) rename {test => src/test}/fvi.cpp (100%) rename {test => src/test}/get_implied_equalities.cpp (100%) rename {test => src/test}/grobner.cpp (100%) rename {test => src/test}/hashtable.cpp (100%) rename {test => src/test}/heap.cpp (100%) rename {test => src/test}/horn_subsume_model_converter.cpp (100%) rename {test => src/test}/hwf.cpp (100%) rename {test => src/test}/im_float_config.h (100%) rename {test => src/test}/imdd.cpp (100%) rename {test => src/test}/inf_rational.cpp (100%) rename {test => src/test}/ini_file.cpp (100%) rename {test => src/test}/interval.cpp (100%) rename {test => src/test}/interval_skip_list.cpp (100%) rename {test => src/test}/list.cpp (100%) rename {test => src/test}/main.cpp (100%) rename {test => src/test}/map.cpp (100%) rename {test => src/test}/matcher.cpp (100%) rename {test => src/test}/memory.cpp (100%) rename {test => src/test}/model2expr.cpp (100%) rename {test => src/test}/model_retrieval.cpp (100%) rename {test => src/test}/mpbq.cpp (100%) rename {test => src/test}/mpf.cpp (100%) rename {test => src/test}/mpff.cpp (100%) rename {test => src/test}/mpfx.cpp (100%) rename {test => src/test}/mpq.cpp (100%) rename {test => src/test}/mpz.cpp (100%) rename {test => src/test}/nlarith_util.cpp (100%) rename {test => src/test}/nlsat.cpp (100%) rename {test => src/test}/no_overflow.cpp (100%) rename {test => src/test}/object_allocator.cpp (100%) rename {test => src/test}/old_interval.cpp (100%) rename {test => src/test}/optional.cpp (100%) rename {test => src/test}/par_dll.cpp (100%) rename {test => src/test}/parallel.cpp (100%) rename {test => src/test}/parray.cpp (100%) rename {test => src/test}/permutation.cpp (100%) rename {test => src/test}/polynomial.cpp (100%) rename {test => src/test}/polynomial_factorization.cpp (100%) rename {test => src/test}/prime_generator.cpp (100%) rename {test => src/test}/proof_checker.cpp (100%) rename {test => src/test}/qe_defs.cpp (100%) rename {test => src/test}/quant_elim.cpp (100%) rename {test => src/test}/quant_solve.cpp (100%) rename {test => src/test}/random.cpp (100%) rename {test => src/test}/rational.cpp (100%) rename {test => src/test}/region.cpp (100%) rename {test => src/test}/simple_parser.cpp (100%) rename {test => src/test}/simplifier.cpp (100%) rename {test => src/test}/small_object_allocator.cpp (100%) rename {test => src/test}/smt2print_parse.cpp (100%) rename {test => src/test}/smt_context.cpp (100%) rename {test => src/test}/smtparser.cpp (100%) rename {test => src/test}/splay_tree.cpp (100%) rename {test => src/test}/stack.cpp (100%) rename {test => src/test}/string_buffer.cpp (100%) rename {test => src/test}/substitution.cpp (100%) rename {test => src/test}/symbol.cpp (100%) rename {test => src/test}/symbol_table.cpp (100%) rename {test => src/test}/symmetry.cpp (100%) rename {test => src/test}/test_util.h (100%) rename {test => src/test}/theory_dl.cpp (100%) rename {test => src/test}/timeout.cpp (100%) rename {test => src/test}/total_order.cpp (100%) rename {test => src/test}/trigo.cpp (100%) rename {test => src/test}/uint_set.cpp (100%) rename {test => src/test}/upolynomial.cpp (100%) rename {test => src/test}/var_subst.cpp (100%) rename {test => src/test}/vector.cpp (100%) diff --git a/scripts/mk_make.py b/scripts/mk_make.py index 059382be4..4b6508f69 100644 --- a/scripts/mk_make.py +++ b/scripts/mk_make.py @@ -74,6 +74,8 @@ add_lib('ufbv_strategy', ['assertion_set', 'normal_forms', 'macros', 'smt_tactic add_lib('portfolio', ['smtlogic_tactics', 'ufbv_strategy', 'fpa', 'aig', 'muz_qe', 'sls_tactic', 'subpaving_tactic']) # TODO: delete SMT 1.0 frontend add_lib('api', ['portfolio', 'user_plugin']) +add_lib('array_property', ['ast', 'rewriter']) add_exe('shell', ['api', 'sat', 'extra_cmds']) +add_exe('test', ['api', 'fuzzing', 'array_property']) mk_vs_solution() diff --git a/src/dead/array_property_expander.cpp b/src/array_property/array_property_expander.cpp similarity index 100% rename from src/dead/array_property_expander.cpp rename to src/array_property/array_property_expander.cpp diff --git a/src/dead/array_property_expander.h b/src/array_property/array_property_expander.h similarity index 100% rename from src/dead/array_property_expander.h rename to src/array_property/array_property_expander.h diff --git a/src/dead/array_property_recognizer.cpp b/src/array_property/array_property_recognizer.cpp similarity index 100% rename from src/dead/array_property_recognizer.cpp rename to src/array_property/array_property_recognizer.cpp diff --git a/src/dead/array_property_recognizer.h b/src/array_property/array_property_recognizer.h similarity index 100% rename from src/dead/array_property_recognizer.h rename to src/array_property/array_property_recognizer.h diff --git a/test/ackermanize.cpp b/src/dead/test/ackermanize.cpp similarity index 100% rename from test/ackermanize.cpp rename to src/dead/test/ackermanize.cpp diff --git a/test/core_theory.cpp b/src/dead/test/core_theory.cpp similarity index 100% rename from test/core_theory.cpp rename to src/dead/test/core_theory.cpp diff --git a/test/dimacs.cpp b/src/dead/test/dimacs.cpp similarity index 100% rename from test/dimacs.cpp rename to src/dead/test/dimacs.cpp diff --git a/test/distinct.cpp b/src/dead/test/distinct.cpp similarity index 100% rename from test/distinct.cpp rename to src/dead/test/distinct.cpp diff --git a/test/fingerprint.cpp b/src/dead/test/fingerprint.cpp similarity index 100% rename from test/fingerprint.cpp rename to src/dead/test/fingerprint.cpp diff --git a/test/gate.cpp b/src/dead/test/gate.cpp similarity index 100% rename from test/gate.cpp rename to src/dead/test/gate.cpp diff --git a/test/interval_arithmetic.cpp b/src/dead/test/interval_arithmetic.cpp similarity index 100% rename from test/interval_arithmetic.cpp rename to src/dead/test/interval_arithmetic.cpp diff --git a/test/relevancy.cpp b/src/dead/test/relevancy.cpp similarity index 100% rename from test/relevancy.cpp rename to src/dead/test/relevancy.cpp diff --git a/test/sat.cpp b/src/dead/test/sat.cpp similarity index 100% rename from test/sat.cpp rename to src/dead/test/sat.cpp diff --git a/test/simplex_polynomial.cpp b/src/dead/test/simplex_polynomial.cpp similarity index 100% rename from test/simplex_polynomial.cpp rename to src/dead/test/simplex_polynomial.cpp diff --git a/test/template_models.cpp b/src/dead/test/template_models.cpp similarity index 100% rename from test/template_models.cpp rename to src/dead/test/template_models.cpp diff --git a/test/th_propagation.cpp b/src/dead/test/th_propagation.cpp similarity index 100% rename from test/th_propagation.cpp rename to src/dead/test/th_propagation.cpp diff --git a/test/trail.cpp b/src/dead/test/trail.cpp similarity index 100% rename from test/trail.cpp rename to src/dead/test/trail.cpp diff --git a/test/watch_list.cpp b/src/dead/test/watch_list.cpp similarity index 100% rename from test/watch_list.cpp rename to src/dead/test/watch_list.cpp diff --git a/test/algebraic.cpp b/src/test/algebraic.cpp similarity index 100% rename from test/algebraic.cpp rename to src/test/algebraic.cpp diff --git a/test/api.cpp b/src/test/api.cpp similarity index 100% rename from test/api.cpp rename to src/test/api.cpp diff --git a/test/api_bug.cpp b/src/test/api_bug.cpp similarity index 100% rename from test/api_bug.cpp rename to src/test/api_bug.cpp diff --git a/test/arith_rewriter.cpp b/src/test/arith_rewriter.cpp similarity index 100% rename from test/arith_rewriter.cpp rename to src/test/arith_rewriter.cpp diff --git a/test/arith_simplifier_plugin.cpp b/src/test/arith_simplifier_plugin.cpp similarity index 100% rename from test/arith_simplifier_plugin.cpp rename to src/test/arith_simplifier_plugin.cpp diff --git a/test/array_property_expander.cpp b/src/test/array_property_expander.cpp similarity index 100% rename from test/array_property_expander.cpp rename to src/test/array_property_expander.cpp diff --git a/test/ast.cpp b/src/test/ast.cpp similarity index 100% rename from test/ast.cpp rename to src/test/ast.cpp diff --git a/test/ast_pp.cpp b/src/test/ast_pp.cpp similarity index 100% rename from test/ast_pp.cpp rename to src/test/ast_pp.cpp diff --git a/test/ast_smt_pp.cpp b/src/test/ast_smt_pp.cpp similarity index 100% rename from test/ast_smt_pp.cpp rename to src/test/ast_smt_pp.cpp diff --git a/test/bit_blaster.cpp b/src/test/bit_blaster.cpp similarity index 100% rename from test/bit_blaster.cpp rename to src/test/bit_blaster.cpp diff --git a/test/bit_vector.cpp b/src/test/bit_vector.cpp similarity index 100% rename from test/bit_vector.cpp rename to src/test/bit_vector.cpp diff --git a/test/bits.cpp b/src/test/bits.cpp similarity index 100% rename from test/bits.cpp rename to src/test/bits.cpp diff --git a/test/buffer.cpp b/src/test/buffer.cpp similarity index 100% rename from test/buffer.cpp rename to src/test/buffer.cpp diff --git a/test/bv_simplifier_plugin.cpp b/src/test/bv_simplifier_plugin.cpp similarity index 100% rename from test/bv_simplifier_plugin.cpp rename to src/test/bv_simplifier_plugin.cpp diff --git a/test/chashtable.cpp b/src/test/chashtable.cpp similarity index 100% rename from test/chashtable.cpp rename to src/test/chashtable.cpp diff --git a/test/check_assumptions.cpp b/src/test/check_assumptions.cpp similarity index 100% rename from test/check_assumptions.cpp rename to src/test/check_assumptions.cpp diff --git a/test/datalog_parser.cpp b/src/test/datalog_parser.cpp similarity index 100% rename from test/datalog_parser.cpp rename to src/test/datalog_parser.cpp diff --git a/test/diff_logic.cpp b/src/test/diff_logic.cpp similarity index 100% rename from test/diff_logic.cpp rename to src/test/diff_logic.cpp diff --git a/test/dl_context.cpp b/src/test/dl_context.cpp similarity index 100% rename from test/dl_context.cpp rename to src/test/dl_context.cpp diff --git a/test/dl_product_relation.cpp b/src/test/dl_product_relation.cpp similarity index 100% rename from test/dl_product_relation.cpp rename to src/test/dl_product_relation.cpp diff --git a/test/dl_query.cpp b/src/test/dl_query.cpp similarity index 100% rename from test/dl_query.cpp rename to src/test/dl_query.cpp diff --git a/test/dl_relation.cpp b/src/test/dl_relation.cpp similarity index 100% rename from test/dl_relation.cpp rename to src/test/dl_relation.cpp diff --git a/test/dl_rule_set.cpp b/src/test/dl_rule_set.cpp similarity index 100% rename from test/dl_rule_set.cpp rename to src/test/dl_rule_set.cpp diff --git a/test/dl_smt_relation.cpp b/src/test/dl_smt_relation.cpp similarity index 100% rename from test/dl_smt_relation.cpp rename to src/test/dl_smt_relation.cpp diff --git a/test/dl_table.cpp b/src/test/dl_table.cpp similarity index 100% rename from test/dl_table.cpp rename to src/test/dl_table.cpp diff --git a/test/dl_util.cpp b/src/test/dl_util.cpp similarity index 100% rename from test/dl_util.cpp rename to src/test/dl_util.cpp diff --git a/test/escaped.cpp b/src/test/escaped.cpp similarity index 100% rename from test/escaped.cpp rename to src/test/escaped.cpp diff --git a/test/ex.cpp b/src/test/ex.cpp similarity index 100% rename from test/ex.cpp rename to src/test/ex.cpp diff --git a/test/expr_context_simplifier.cpp b/src/test/expr_context_simplifier.cpp similarity index 100% rename from test/expr_context_simplifier.cpp rename to src/test/expr_context_simplifier.cpp diff --git a/test/expr_delta.cpp b/src/test/expr_delta.cpp similarity index 100% rename from test/expr_delta.cpp rename to src/test/expr_delta.cpp diff --git a/test/expr_pattern_match.cpp b/src/test/expr_pattern_match.cpp similarity index 100% rename from test/expr_pattern_match.cpp rename to src/test/expr_pattern_match.cpp diff --git a/test/expr_rand.cpp b/src/test/expr_rand.cpp similarity index 100% rename from test/expr_rand.cpp rename to src/test/expr_rand.cpp diff --git a/test/ext_numeral.cpp b/src/test/ext_numeral.cpp similarity index 100% rename from test/ext_numeral.cpp rename to src/test/ext_numeral.cpp diff --git a/test/f2n.cpp b/src/test/f2n.cpp similarity index 100% rename from test/f2n.cpp rename to src/test/f2n.cpp diff --git a/test/factor_rewriter.cpp b/src/test/factor_rewriter.cpp similarity index 100% rename from test/factor_rewriter.cpp rename to src/test/factor_rewriter.cpp diff --git a/test/for_each_file.cpp b/src/test/for_each_file.cpp similarity index 100% rename from test/for_each_file.cpp rename to src/test/for_each_file.cpp diff --git a/test/for_each_file.h b/src/test/for_each_file.h similarity index 100% rename from test/for_each_file.h rename to src/test/for_each_file.h diff --git a/test/fvi.cpp b/src/test/fvi.cpp similarity index 100% rename from test/fvi.cpp rename to src/test/fvi.cpp diff --git a/test/get_implied_equalities.cpp b/src/test/get_implied_equalities.cpp similarity index 100% rename from test/get_implied_equalities.cpp rename to src/test/get_implied_equalities.cpp diff --git a/test/grobner.cpp b/src/test/grobner.cpp similarity index 100% rename from test/grobner.cpp rename to src/test/grobner.cpp diff --git a/test/hashtable.cpp b/src/test/hashtable.cpp similarity index 100% rename from test/hashtable.cpp rename to src/test/hashtable.cpp diff --git a/test/heap.cpp b/src/test/heap.cpp similarity index 100% rename from test/heap.cpp rename to src/test/heap.cpp diff --git a/test/horn_subsume_model_converter.cpp b/src/test/horn_subsume_model_converter.cpp similarity index 100% rename from test/horn_subsume_model_converter.cpp rename to src/test/horn_subsume_model_converter.cpp diff --git a/test/hwf.cpp b/src/test/hwf.cpp similarity index 100% rename from test/hwf.cpp rename to src/test/hwf.cpp diff --git a/test/im_float_config.h b/src/test/im_float_config.h similarity index 100% rename from test/im_float_config.h rename to src/test/im_float_config.h diff --git a/test/imdd.cpp b/src/test/imdd.cpp similarity index 100% rename from test/imdd.cpp rename to src/test/imdd.cpp diff --git a/test/inf_rational.cpp b/src/test/inf_rational.cpp similarity index 100% rename from test/inf_rational.cpp rename to src/test/inf_rational.cpp diff --git a/test/ini_file.cpp b/src/test/ini_file.cpp similarity index 100% rename from test/ini_file.cpp rename to src/test/ini_file.cpp diff --git a/test/interval.cpp b/src/test/interval.cpp similarity index 100% rename from test/interval.cpp rename to src/test/interval.cpp diff --git a/test/interval_skip_list.cpp b/src/test/interval_skip_list.cpp similarity index 100% rename from test/interval_skip_list.cpp rename to src/test/interval_skip_list.cpp diff --git a/test/list.cpp b/src/test/list.cpp similarity index 100% rename from test/list.cpp rename to src/test/list.cpp diff --git a/test/main.cpp b/src/test/main.cpp similarity index 100% rename from test/main.cpp rename to src/test/main.cpp diff --git a/test/map.cpp b/src/test/map.cpp similarity index 100% rename from test/map.cpp rename to src/test/map.cpp diff --git a/test/matcher.cpp b/src/test/matcher.cpp similarity index 100% rename from test/matcher.cpp rename to src/test/matcher.cpp diff --git a/test/memory.cpp b/src/test/memory.cpp similarity index 100% rename from test/memory.cpp rename to src/test/memory.cpp diff --git a/test/model2expr.cpp b/src/test/model2expr.cpp similarity index 100% rename from test/model2expr.cpp rename to src/test/model2expr.cpp diff --git a/test/model_retrieval.cpp b/src/test/model_retrieval.cpp similarity index 100% rename from test/model_retrieval.cpp rename to src/test/model_retrieval.cpp diff --git a/test/mpbq.cpp b/src/test/mpbq.cpp similarity index 100% rename from test/mpbq.cpp rename to src/test/mpbq.cpp diff --git a/test/mpf.cpp b/src/test/mpf.cpp similarity index 100% rename from test/mpf.cpp rename to src/test/mpf.cpp diff --git a/test/mpff.cpp b/src/test/mpff.cpp similarity index 100% rename from test/mpff.cpp rename to src/test/mpff.cpp diff --git a/test/mpfx.cpp b/src/test/mpfx.cpp similarity index 100% rename from test/mpfx.cpp rename to src/test/mpfx.cpp diff --git a/test/mpq.cpp b/src/test/mpq.cpp similarity index 100% rename from test/mpq.cpp rename to src/test/mpq.cpp diff --git a/test/mpz.cpp b/src/test/mpz.cpp similarity index 100% rename from test/mpz.cpp rename to src/test/mpz.cpp diff --git a/test/nlarith_util.cpp b/src/test/nlarith_util.cpp similarity index 100% rename from test/nlarith_util.cpp rename to src/test/nlarith_util.cpp diff --git a/test/nlsat.cpp b/src/test/nlsat.cpp similarity index 100% rename from test/nlsat.cpp rename to src/test/nlsat.cpp diff --git a/test/no_overflow.cpp b/src/test/no_overflow.cpp similarity index 100% rename from test/no_overflow.cpp rename to src/test/no_overflow.cpp diff --git a/test/object_allocator.cpp b/src/test/object_allocator.cpp similarity index 100% rename from test/object_allocator.cpp rename to src/test/object_allocator.cpp diff --git a/test/old_interval.cpp b/src/test/old_interval.cpp similarity index 100% rename from test/old_interval.cpp rename to src/test/old_interval.cpp diff --git a/test/optional.cpp b/src/test/optional.cpp similarity index 100% rename from test/optional.cpp rename to src/test/optional.cpp diff --git a/test/par_dll.cpp b/src/test/par_dll.cpp similarity index 100% rename from test/par_dll.cpp rename to src/test/par_dll.cpp diff --git a/test/parallel.cpp b/src/test/parallel.cpp similarity index 100% rename from test/parallel.cpp rename to src/test/parallel.cpp diff --git a/test/parray.cpp b/src/test/parray.cpp similarity index 100% rename from test/parray.cpp rename to src/test/parray.cpp diff --git a/test/permutation.cpp b/src/test/permutation.cpp similarity index 100% rename from test/permutation.cpp rename to src/test/permutation.cpp diff --git a/test/polynomial.cpp b/src/test/polynomial.cpp similarity index 100% rename from test/polynomial.cpp rename to src/test/polynomial.cpp diff --git a/test/polynomial_factorization.cpp b/src/test/polynomial_factorization.cpp similarity index 100% rename from test/polynomial_factorization.cpp rename to src/test/polynomial_factorization.cpp diff --git a/test/prime_generator.cpp b/src/test/prime_generator.cpp similarity index 100% rename from test/prime_generator.cpp rename to src/test/prime_generator.cpp diff --git a/test/proof_checker.cpp b/src/test/proof_checker.cpp similarity index 100% rename from test/proof_checker.cpp rename to src/test/proof_checker.cpp diff --git a/test/qe_defs.cpp b/src/test/qe_defs.cpp similarity index 100% rename from test/qe_defs.cpp rename to src/test/qe_defs.cpp diff --git a/test/quant_elim.cpp b/src/test/quant_elim.cpp similarity index 100% rename from test/quant_elim.cpp rename to src/test/quant_elim.cpp diff --git a/test/quant_solve.cpp b/src/test/quant_solve.cpp similarity index 100% rename from test/quant_solve.cpp rename to src/test/quant_solve.cpp diff --git a/test/random.cpp b/src/test/random.cpp similarity index 100% rename from test/random.cpp rename to src/test/random.cpp diff --git a/test/rational.cpp b/src/test/rational.cpp similarity index 100% rename from test/rational.cpp rename to src/test/rational.cpp diff --git a/test/region.cpp b/src/test/region.cpp similarity index 100% rename from test/region.cpp rename to src/test/region.cpp diff --git a/test/simple_parser.cpp b/src/test/simple_parser.cpp similarity index 100% rename from test/simple_parser.cpp rename to src/test/simple_parser.cpp diff --git a/test/simplifier.cpp b/src/test/simplifier.cpp similarity index 100% rename from test/simplifier.cpp rename to src/test/simplifier.cpp diff --git a/test/small_object_allocator.cpp b/src/test/small_object_allocator.cpp similarity index 100% rename from test/small_object_allocator.cpp rename to src/test/small_object_allocator.cpp diff --git a/test/smt2print_parse.cpp b/src/test/smt2print_parse.cpp similarity index 100% rename from test/smt2print_parse.cpp rename to src/test/smt2print_parse.cpp diff --git a/test/smt_context.cpp b/src/test/smt_context.cpp similarity index 100% rename from test/smt_context.cpp rename to src/test/smt_context.cpp diff --git a/test/smtparser.cpp b/src/test/smtparser.cpp similarity index 100% rename from test/smtparser.cpp rename to src/test/smtparser.cpp diff --git a/test/splay_tree.cpp b/src/test/splay_tree.cpp similarity index 100% rename from test/splay_tree.cpp rename to src/test/splay_tree.cpp diff --git a/test/stack.cpp b/src/test/stack.cpp similarity index 100% rename from test/stack.cpp rename to src/test/stack.cpp diff --git a/test/string_buffer.cpp b/src/test/string_buffer.cpp similarity index 100% rename from test/string_buffer.cpp rename to src/test/string_buffer.cpp diff --git a/test/substitution.cpp b/src/test/substitution.cpp similarity index 100% rename from test/substitution.cpp rename to src/test/substitution.cpp diff --git a/test/symbol.cpp b/src/test/symbol.cpp similarity index 100% rename from test/symbol.cpp rename to src/test/symbol.cpp diff --git a/test/symbol_table.cpp b/src/test/symbol_table.cpp similarity index 100% rename from test/symbol_table.cpp rename to src/test/symbol_table.cpp diff --git a/test/symmetry.cpp b/src/test/symmetry.cpp similarity index 100% rename from test/symmetry.cpp rename to src/test/symmetry.cpp diff --git a/test/test_util.h b/src/test/test_util.h similarity index 100% rename from test/test_util.h rename to src/test/test_util.h diff --git a/test/theory_dl.cpp b/src/test/theory_dl.cpp similarity index 100% rename from test/theory_dl.cpp rename to src/test/theory_dl.cpp diff --git a/test/timeout.cpp b/src/test/timeout.cpp similarity index 100% rename from test/timeout.cpp rename to src/test/timeout.cpp diff --git a/test/total_order.cpp b/src/test/total_order.cpp similarity index 100% rename from test/total_order.cpp rename to src/test/total_order.cpp diff --git a/test/trigo.cpp b/src/test/trigo.cpp similarity index 100% rename from test/trigo.cpp rename to src/test/trigo.cpp diff --git a/test/uint_set.cpp b/src/test/uint_set.cpp similarity index 100% rename from test/uint_set.cpp rename to src/test/uint_set.cpp diff --git a/test/upolynomial.cpp b/src/test/upolynomial.cpp similarity index 100% rename from test/upolynomial.cpp rename to src/test/upolynomial.cpp diff --git a/test/var_subst.cpp b/src/test/var_subst.cpp similarity index 100% rename from test/var_subst.cpp rename to src/test/var_subst.cpp diff --git a/test/vector.cpp b/src/test/vector.cpp similarity index 100% rename from test/vector.cpp rename to src/test/vector.cpp