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

isBvZero

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