1 2 3 4 5
#-----------------------------------------------------------------------------# # Add unit tests cvc4_add_unit_test_black(drat_proof_black proof) cvc4_add_unit_test_black(lfsc_proof_printer_black proof)