1

Z3 で flagを使用すると-st、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 に答える