kdrag.theories.bitvec.select_concat

kdrag.theories.bitvec.select_concat(a: ArrayRef, addr: BitVecRef | int, n: int, le=True) → BitVecRef

>>> mem = smt.Array("mem", smt.BitVecSort(64), BV8)
>>> smt.simplify(select_concat(mem, 0, 2))
select_16_le(mem, 0)

Parameters:

• a (ArrayRef)

• addr (BitVecRef | int)

• n (int)

Return type:

BitVecRef