Searched refs:CreateZ3Solver (Results 1 – 4 of 4) sorted by relevance
64 llvm::SMTSolverRef RefutationSolver = llvm::CreateZ3Solver(); in finalizeVisitor()
471 LLVM_ABI SMTSolverRef CreateZ3Solver();
33 mutable llvm::SMTSolverRef Solver = llvm::CreateZ3Solver(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
982 llvm::SMTSolverRef llvm::CreateZ3Solver() { in CreateZ3Solver() function in llvm