blob: 6dc627db96e892bf8915a30ff1fbf48ec5e7322e (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
cvc4_add_unit_test_white(evaluator_white)
cvc4_add_unit_test_white(logic_info_white)
cvc4_add_unit_test_white(theory_arith_white)
cvc4_add_unit_test_black(theory_black)
cvc4_add_unit_test_white(theory_bv_white)
cvc4_add_unit_test_white(theory_engine_white)
cvc4_add_unit_test_white(theory_quantifiers_bv_instantiator_white)
cvc4_add_unit_test_white(theory_quantifiers_bv_inverter_white)
cvc4_add_unit_test_white(theory_strings_rewriter_white)
cvc4_add_unit_test_white(theory_white)
cvc4_add_unit_test_white(type_enumerator_white)
|
