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

isBvMinValueSigned

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