/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 | | // The LLVM Compiler Infrastructure |
4 | | // |
5 | | // This file is distributed under the University of Illinois Open Source |
6 | | // License. See LICENSE.TXT for details. |
7 | | // |
8 | | //===----------------------------------------------------------------------===// |
9 | | |
10 | | #include "clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h" |
11 | | |
12 | | using namespace clang; |
13 | | using namespace ento; |
14 | | |
15 | | std::unique_ptr<ConstraintManager> |
16 | 0 | ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { |
17 | 0 | return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder()); |
18 | 0 | } |