Searched refs:StateNotFailed (Results 1 – 1 of 1) sorted by relevance
632 ProgramStateRef StateNotFailed = in evalFreadFwrite() local634 if (StateNotFailed) { in evalFreadFwrite()635 StateNotFailed = StateNotFailed->set<StreamMap>( in evalFreadFwrite()637 C.addTransition(StateNotFailed); in evalFreadFwrite()709 ProgramStateRef StateNotFailed, StateFailed; in evalFseek() local710 std::tie(StateFailed, StateNotFailed) = in evalFseek()714 StateNotFailed = in evalFseek()715 StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc)); in evalFseek()724 C.addTransition(StateNotFailed); in evalFseek()