| 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 | ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { |
| 17 | return llvm::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder()); |
| 18 | } |
| 19 |