Searched refs:traceUnsatCore (Results 1 – 3 of 3) sorted by relevance
262 void traceUnsatCore();
329 void ProofManager::traceUnsatCore() { in traceUnsatCore() function in CVC4::ProofManager
4486 d_proofManager->traceUnsatCore(); // just to trigger core creation in getUnsatCoreInternal()