Home | History | Annotate | Download | only in Checkers

Lines Matching full:statei

638     ProgramStateRef StateI = FreeMemAux(C, CE, State, *I,
641     if (StateI)
642       State = StateI;