0
我使用z3_logdir和z3_loglevel環境變量使Pex以* .z3文件格式記錄路徑條件。 有沒有辦法強制pex導出SMT 2格式的路徑條件? 或將.Z3文件格式轉換爲SMT 2?我可以從Pex獲得SMT 2格式的路徑條件嗎?
我使用z3_logdir和z3_loglevel環境變量使Pex以* .z3文件格式記錄路徑條件。 有沒有辦法強制pex導出SMT 2格式的路徑條件? 或將.Z3文件格式轉換爲SMT 2?我可以從Pex獲得SMT 2格式的路徑條件嗎?
Pex附帶Z3的DLL:Microsoft.Z3.dll。 這對應於Z3版本2.5(可從http://research.microsoft.com/en-us/um/redmond/projects/z3/old/older_z3.html下載)。 Z3 v 2.5中的API包含對Z3文件解析支持 的內部格式,並且有API函數用於將這些文件轉儲到SMT-LIB(1)。 存在更新版本的Z3和其他工具,用於將SMT-LIB1基準轉換爲SMT-LIB2。