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