Searched refs:Constraint_untested (Results 1 – 1 of 1) sorted by relevance
131 SVal Constraint_untested = evalBinOp(state, BO_GT, V, in getInitialState() local136 Constraint_untested.getAs<DefinedOrUnknownSVal>(); in getInitialState()