1

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

谢谢 ！

4

1 回答 1

1

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

static unsigned long long get_allocation_size();

在课堂memory上。该方法在文件中定义src/util/memory_manager.h。这个想法是在 Z3 API 中添加一个返回该值的新函数。如果您使用的是 Z3 静态库，我相信您可以通过包含memory_manager.h.

于 2013-10-12T19:23:38.753 回答