/Users/buildslave/jenkins/workspace/coverage/llvm-project/clang/lib/StaticAnalyzer/Core/SMTConstraintManager.cpp
Line | Count | Source (jump to first uncovered line) |
1 | | //== SMTConstraintManager.cpp -----------------------------------*- C++ -*--==// |
2 | | // |
3 | | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | | // See https://llvm.org/LICENSE.txt for license information. |
5 | | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | | // |
7 | | //===----------------------------------------------------------------------===// |
8 | | |
9 | | #include "clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h" |
10 | | |
11 | | using namespace clang; |
12 | | using namespace ento; |
13 | | |
14 | | std::unique_ptr<ConstraintManager> |
15 | 0 | ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { |
16 | 0 | return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder()); |
17 | 0 | } |