Searched refs:SKIP_PROOF_ERRORS (Results 1 – 2 of 2) sorted by relevance
304 #if !(defined SKIP_PROOF_ERRORS) \305 || ((SKIP_PROOF_ERRORS != NO) && (SKIP_PROOF_ERRORS != YES))306 # undef SKIP_PROOF_ERRORS307 # define SKIP_PROOF_ERRORS NO // Default: Either YES or NO macro
272 #if !SKIP_PROOF_ERRORS