Searched defs:advancePosition (Results 1 – 2 of 2) sorted by relevance
224 ProgramStateRef advancePosition(ProgramStateRef State, SVal Iter, in advancePosition() function
508 void PipelineSolver::advancePosition() { in advancePosition() function in __anon5d856e630111::PipelineSolver