Searched refs:IsSAT (Results 1 – 1 of 1) sorted by relevance
3454 std::optional<bool> IsSAT = RefutationSolver->check(); in finalizeVisitor() local3455 if (!IsSAT) in finalizeVisitor()3458 if (!*IsSAT) in finalizeVisitor()