Searched refs:RefutationSolver (Results 1 - 1 of 1) sorted by relevance

/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp2953 llvm::SMTSolverRef RefutationSolver = llvm::CreateZ3Solver(); local
2962 RefutationSolver, Ctx, Sym, RangeIt->From(), RangeIt->To(),
2965 SMTConstraints = RefutationSolver->mkOr(
2966 SMTConstraints, SMTConv::getRangeExpr(RefutationSolver, Ctx, Sym,
2971 RefutationSolver->addConstraint(SMTConstraints);
2975 Optional<bool> IsSAT = RefutationSolver->check();

Completed in 147 milliseconds