ksmt-core/io.ksmt/KContext/mkBvRepeatExprNoSimplify

mkBvRepeatExprNoSimplify

open fun <T : KBvSort> mkBvRepeatExprNoSimplify(repeatNumber: Int, value: KExpr<T>): KBvRepeatExpr

Create BitVec repeat (repeat) expression. Returns a BitVec expression with repeatNumber concatenated copies of value.