ksmt-core/io.ksmt/KContext/mkBvLogicalShiftRightExpr

mkBvLogicalShiftRightExpr

open fun <T : KBvSort> mkBvLogicalShiftRightExpr(arg: KExpr<T>, shift: KExpr<T>): KExpr<T>

Create BitVec logical shift right (bvlshr) expression. The shifted expressions is padded with zero bits.