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

isBvMaxValueUnsigned

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