1 2 3 4 5 6 7
#-----------------------------------------------------------------------------# # 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)