#-----------------------------------------------------------------------------#
# Add unit tests

cvc4_add_unit_test_black(parser_black parser)
cvc4_add_unit_test_black(parser_builder_black parser)