警告 Z3 3.2 中缺少 INI 参数？
根据 INI 参数 列表，应该是一个布尔值 WARNING 标志，但在 Z3 3.2 (x64_mt) 中通过对
(set-option :WARNING false)
WARNING 和两种拼写产生 unsupported 来设置它警告。
这些文档是否已过时，或者我在这里做错了什么？
[编辑]
根据Z3 2.17 的发行说明 该选项应该通过设置
(set-option WARNING <flag>)
，但尝试
(set-option WARNING false)
收益
(error "line 1 column 13: invalid command argument, keyword expected")
According to the list of INI parameters there should be a boolean WARNING flag, but setting it in Z3 3.2 (x64_mt) via
(set-option :WARNING false)
yields unsupported for both spellings WARNING and warning.
Are the docs outdated or I am doing something wrong here?
[EDIT]
According to the release notes of Z3 2.17 the option should be set via
(set-option WARNING <flag>)
but trying
(set-option WARNING false)
yields
(error "line 1 column 13: invalid command argument, keyword expected")
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
好吧，似乎文档已经过时了。我终于
在这个答案中找到了它并且它有效。
Ok, seems as if the docs are outdated. I finally found
in this answer and it works.