Z3 で flagを使用すると-st
、Z3 のメモリ消費量が表示されます。ただし、を使用して同じものを取得したいと思いC/C++ API
ます。誰かがそれを行う方法を教えてもらえますか? API を使用してみましZ3_solver_get_statistics()
たZ3_stats_to_string()
。ただし、結果の文字列にはメモリに関する情報は含まれていません。
ありがとう !
Z3 で flagを使用すると-st
、Z3 のメモリ消費量が表示されます。ただし、を使用して同じものを取得したいと思いC/C++ API
ます。誰かがそれを行う方法を教えてもらえますか? API を使用してみましZ3_solver_get_statistics()
たZ3_stats_to_string()
。ただし、結果の文字列にはメモリに関する情報は含まれていません。
ありがとう !