对于 Z3 2.x,我使用了 SMTLib2 命令
(get-info statistics)
获取 Z3 运行的统计信息。使用 Z3 3.2 我得到
(error "line _ column _: invalid command argument, keyword expected")
对于上述情况,以及
(get-info :statistics)
Z3 回复
unsupported
获取统计信息的新方法是什么(除了 /st 命令行选项)?
当我们在这里时:INI 选项页面列表
(set-option :STATISTICS true)
作为一个有效的选项,但 Z3 3.2 再次回复
unsupported