ΒΆstd::unique_ptr<ConstraintManager>
CreateZ3ConstraintManager(
clang::ento::ProgramStateManager& statemgr,
clang::ento::ExprEngine* exprengine)
std::unique_ptr<ConstraintManager>
CreateZ3ConstraintManager(
clang::ento::ProgramStateManager& statemgr,
clang::ento::ExprEngine* exprengine)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:176
Parameters
- clang::ento::ProgramStateManager& statemgr
- clang::ento::ExprEngine* exprengine