Searched refs:stateGE (Results 1 – 1 of 1) sorted by relevance
98 ProgramStateRef stateLT, stateGE; in checkBind() local99 std::tie(stateGE, stateLT) = CM.assumeDual(state, *greaterThanEqualToZero); in checkBind()107 if (!stateGE) in checkBind()116 assert(stateGE == state); in checkBind()