我尝试使用以下API从位 vector 中获取数值后
u64 value;
Z3_get_numeral_uint64(myContext(),myBitVector,&value);
但是
value
中的结果是十进制形式,如何以十六进制形式返回呢?
最佳答案
您可以使用std::hex
以十六进制形式获取值:
std::stringstream s;
s << std::hex << value;
std::cout << s.str();
关于c++ - 在C++中获取Z3中位 vector 的数值,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/61042808/