Home | History | Annotate | Download | only in Checkers

Lines Matching refs:ConditionTruthVal

251   ConditionTruthVal Nullness = State->isNull(Val);