Home | History | Annotate | Download | only in Checkers

Lines Matching refs:assumeInBound

297   ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true);
298   ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false);