我尝试使用以下API从位向量中获取数值后
u64 value;
Z3_get_numeral_uint64(myContext(),myBitVector,&value);
但是结果以value十进制形式显示，如何以十六进制形式返回呢？
您可以使用std::hex以十六进制形式获取值：
std::stringstream s;
s << std::hex << value;
std::cout << s.str();
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句