Searched refs:CreateZ3Solver (Results 1 – 4 of 4) sorted by relevance
54 llvm::SMTSolverRef RefutationSolver = llvm::CreateZ3Solver(); in finalizeVisitor()
462 SMTSolverRef CreateZ3Solver();
32 mutable llvm::SMTSolverRef Solver = llvm::CreateZ3Solver(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
981 llvm::SMTSolverRef llvm::CreateZ3Solver() { in CreateZ3Solver() function in llvm