Searched refs:USE_SPEC_COMPLIANT_PROOFS (Results 1 – 2 of 2) sorted by relevance
295 #if !(defined USE_SPEC_COMPLIANT_PROOFS) \296 || ((USE_SPEC_COMPLIANT_PROOFS != NO) && (USE_SPEC_COMPLIANT_PROOFS != YES))297 # undef USE_SPEC_COMPLIANT_PROOFS298 # define USE_SPEC_COMPLIANT_PROOFS YES // Default: Either YES or NO macro
265 #if USE_SPEC_COMPLIANT_PROOFS