Searched refs:OutputState (Results 1 – 1 of 1) sorted by relevance
86 ProgramStateRef OutputState = State->assume(*Constr, true); in checkLocation() local87 C.addTransition(OutputState); in checkLocation()