c++ - 在C++中获取Z3中位 vector 的数值

Question

我尝试使用以下API从位 vector 中获取数值后

u64 value; 
Z3_get_numeral_uint64(myContext(),myBitVector,&value);

但是 value中的结果是十进制形式，如何以十六进制形式返回呢？

Answer 1

您可以使用std::hex以十六进制形式获取值:

std::stringstream s;

s << std::hex << value;

std::cout << s.str();