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