ksmt-core/io.ksmt.utils/BvUtils/isBvOne

isBvOne

@JvmStatic
fun KBitVecValue<*>.isBvOne(): Boolean