Lines Matching defs:StateSuccess

110   ProgramStateRef StateSuccess = State->BindExpr(
112   StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked);
118   C.addTransition(StateSuccess);
127   ProgramStateRef StateSuccess = State->BindExpr(
129   StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked);
140   C.addTransition(StateSuccess);
149   ProgramStateRef StateSuccess = State->BindExpr(
151   StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked);
161   C.addTransition(StateSuccess,