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

isBvMaxValueSigned

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