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

当我在Z3中使用

-st

标志时，我得到了Z3的内存消耗。 但是，我希望使用

C/C++API

获得相同的结果。有人能告诉我怎么做吗？我尝试使用API

Z3_solver\u get_statistics（）

，然后使用

Z3_stats\u to_string（）

。但是，结果字符串不包含任何有关内存的信息

---

谢谢

此功能未在Z3API中公开。您可以使用以下方法获取此信息：

static unsigned long long get_allocation_size();

在类

内存中

。此方法在文件

src/util/memory\u manager.h

中定义。 其想法是在Z3API中添加一个新函数来返回该值。

---

如果您使用的是Z3静态库，我相信您可以通过包含

内存管理器.h

直接访问此方法。此功能在Z3 API中没有公开。您可以使用以下方法获取此信息：

static unsigned long long get_allocation_size();

在类

内存中

。此方法在文件

src/util/memory\u manager.h

中定义。 其想法是在Z3API中添加一个新函数来返回该值。 如果您使用的是Z3静态库，我相信您可以通过包含

内存管理器.h

直接访问此方法