Searched refs:StateNotFailed (Results 1 – 1 of 1) sorted by relevance
671 ProgramStateRef StateNotFailed = in evalFreadFwrite() local673 if (StateNotFailed) { in evalFreadFwrite()674 StateNotFailed = StateNotFailed->set<StreamMap>( in evalFreadFwrite()676 C.addTransition(StateNotFailed); in evalFreadFwrite()753 ProgramStateRef StateNotFailed, StateFailed; in evalFseek() local754 std::tie(StateFailed, StateNotFailed) = in evalFseek()758 StateNotFailed = in evalFseek()759 StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc)); in evalFseek()768 C.addTransition(StateNotFailed); in evalFseek()