#-----------------------------------------------------------------------------# # Add unit tests cvc4_add_unit_test_black(attribute_black) cvc4_add_unit_test_white(attribute_white) cvc4_add_unit_test_black(expr_manager_public) cvc4_add_unit_test_black(expr_public) cvc4_add_unit_test_black(kind_black) cvc4_add_unit_test_black(kind_map_black) cvc4_add_unit_test_black(node_black) cvc4_add_unit_test_black(node_builder_black) cvc4_add_unit_test_black(node_manager_black) cvc4_add_unit_test_white(node_manager_white) cvc4_add_unit_test_black(node_self_iterator_black) cvc4_add_unit_test_white(node_white) cvc4_add_unit_test_black(symbol_table_black) cvc4_add_unit_test_black(type_cardinality_public) cvc4_add_unit_test_white(type_node_white)