Configuration Z3.2中缺少警告INI参数？

根据列表，应该有一个布尔警告标志，但在Z3 3.2（x64_mt）中通过

对于拼写

WARNING

和

WARNING

产生

不支持的

文件过时了，还是我做错了什么

[编辑]

根据需要，该选项应通过以下方式设置：

(set-option WARNING <flag>)

屈服

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

好的，看起来这些文件已经过时了。我终于找到了

(set-option :print-warning false)

在我看来，这是可行的

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

(set-option :print-warning false)