Searched refs:checkModel (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 93 ConditionTruthVal isSat = checkModel(State, Sym, Exp);
94 ConditionTruthVal isNotSat = checkModel(State, Sym, NotExp);
119 // TODO: this should call checkModel so we can use the cache, however,
299 if (checkModel(State, Sym, Exp).isConstrainedTrue())
326 ConditionTruthVal checkModel(ProgramStateRef State, SymbolRef Sym, function in class:clang::ento::SMTConstraintManager
|
Completed in 112 milliseconds