在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直接訪問此方法。