18 lines · cpp
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-exception6//7//===----------------------------------------------------------------------===//8 9#include "clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h"10 11using namespace clang;12using namespace ento;13 14std::unique_ptr<ConstraintManager>15ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) {16 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder());17}18