问在ACL2中禁用防跳过警告
EN

Stack Overflow用户

提问于 2014-08-28 01:48:27

回答 1查看 18关注 0票数 0

如何在ACL2中禁用防跳过警告？包括故意跳过大量校样的书籍可能会相当冗长。

发布于 2014-08-28 01:48:27

您可以提交以下内容。

(set-inhibit-warnings "skip-proofs")

您可能希望将其放在~/acl2-customization.lisp文件中。

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/25533858

复制

相似问题

问在ACL2中禁用防跳过警告EN