Searched refs:IsSAT (Results 1 – 1 of 1) sorted by relevance
2847 Optional<bool> IsSAT = RefutationSolver->check(); in finalizeVisitor() local2848 if (!IsSAT.hasValue()) in finalizeVisitor()2851 if (!IsSAT.getValue()) in finalizeVisitor()