cvc4_add_unit_test_black(parser_black)
cvc4_add_unit_test_black(parser_builder_black)