Searched refs:isNotSat (Results 1 - 1 of 1) sorted by relevance

/openbsd-current/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h97 ConditionTruthVal isNotSat = checkModel(State, Sym, NotExp); variable
100 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse())
104 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue())
149 std::optional<bool> isNotSat = Solver->check(); variable
150 if (!isNotSat || *isNotSat)

Completed in 135 milliseconds