1 2 3 4 5 6 7
#-----------------------------------------------------------------------------# # Add unit tests cvc4_add_unit_test_black(solver_black api) cvc4_add_unit_test_black(sort_black api) cvc4_add_unit_test_black(term_black api) cvc4_add_unit_test_black(opterm_black api)