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