Searched defs:PROOF_ON (Results 1 – 1 of 1) sorted by relevance
51 # define PROOF_ON() (CVC4::options::proof() || CVC4::options::unsatCores()) macro58 # define PROOF_ON() false macro