1 2 3 4 5
#-----------------------------------------------------------------------------# # Add unit tests cvc4_add_unit_test_black(parser_black) cvc4_add_unit_test_black(parser_builder_black)