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

bvValueIs

@JvmStatic
fun KBitVecValue<*>.bvValueIs(value: Int): Boolean