Searched defs:prevState (Results 1 – 2 of 2) sorted by relevance
150 prevState = getOrCreateFor<FooState>(point, getProgramPointBefore(op)); in visitOperation() local
3395 findFailedReallocSymbol(ProgramStateRef currState,ProgramStateRef prevState) findFailedReallocSymbol() argument