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