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

cvc4_add_unit_test_black(drat_proof_black proof)
cvc4_add_unit_test_black(er_proof_black proof)
cvc4_add_unit_test_black(lrat_proof_black proof)
cvc4_add_unit_test_black(lfsc_proof_printer_black proof)
