在Z3求解器中使用C API获取内存消耗

Question

当我在Z3中使用-st标志时，我得到了Z3的内存消耗。 但是，我想使用C/C++ API获得相同的结果。有人可以告诉你怎么做吗？我尝试使用API​​ Z3_solver_get_statistics()，然后Z3_stats_to_string()。但是，结果字符串不包含任何有关内存的信息。

谢谢！

Answer 1

此功能未在Z3 API中公开。您可以使用方法

获取此信息

static unsigned long long get_allocation_size();

课程memory中的

。此方法在文件src/util/memory_manager.h中定义。 我们的想法是在Z3 API中添加一个返回该值的新函数。 如果您使用的是Z3静态库，我相信您可以通过添加memory_manager.h直接访问此方法。