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

bigIntValue

@JvmStatic
fun KBitVecValue<*>.bigIntValue(): BigInteger