configuration - Z3 3.2 中缺少警告 INI 参数？

Question

根据INI 参数列表，应该有一个布尔警告标志，但通过在 Z3 3.2 (x64_mt) 中设置它

(set-option :WARNING false)

拼写和. unsupported_WARNINGwarning

文档是否已过时或我在这里做错了什么？

[编辑]

根据Z3 2.17 的发行说明，该选项应通过以下方式设置

(set-option WARNING <flag>)

但尝试

(set-option WARNING false)

产量

(error "line 1 column 13: invalid command argument, keyword expected")

Answer 1

好的，好像文档已经过时了。我终于找到了

(set-option :print-warning false)

在这个答案中，它有效。