Searched refs:stateLE (Results 1 – 1 of 1) sorted by relevance
134 ProgramStateRef stateGT, stateLE; in checkBind() local135 std::tie(stateLE, stateGT) = CM.assumeDual(state, *lessThanEqToOne); in checkBind()143 if (!stateLE) in checkBind()152 assert(stateLE == state); in checkBind()