enum AnalysisConstraints

Description

AnalysisConstraints - Set of available constraint models.

Declared at: clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h:37

Enumerators

NameValueComment
RangeConstraintsModel0
Z3ConstraintsModel1
NumConstraints2