0
如何禁用ACL2中的跳過警告警告？包括故意有很多跳過證明的書籍可能會非常冗長。禁用ACL2中的跳過警告警告
A
回答
0
您可以提交以下內容。
(set-inhibit-warnings "skip-proofs")
您可能希望將它放在〜/ acl2-customization.lisp文件中。
相關問題
- 1. 禁用IntelliJ警告
- 2. 禁用PHP警告
- 3. 禁用警告2008
- 4. IntelliJ禁用警告
- 5. 在VIM中禁用警告？
- 6. 禁用Encode.pm的警告
- 7. 通過_CRT_SECURE_NO_DEPRECATE生成的禁用警告
- 8. xcode7禁用棄用警告
- 9. 警告：EXEC（）已禁用
- 10. 禁用所有gcc警告
- 11. 禁用Interop excel警告vb.net
- 12. 如何禁用#pragma警告？
- 13. 禁用所有scons警告
- 14. 禁用綁定警告
- 15. 如何禁用keras警告？
- 16. 禁用覆蓋警告C++
- 17. 警告/警告/通知中的圖像
- 18. mysql_fetch_array（）警告和mysql_num_rows（）警告
- 19. 從框架禁用Xcode中的警告
- 20. 禁用gcc中的特定警告
- 21. 禁用瀏覽器中的ssl警告
- 22. 如何禁用pylint中的「TODO」警告？
- 23. 在xcode中禁用和啓用警告
- 24. C＃禁止MS Fakes警告
- 25. 禁止JDK1.4項目警告
- 26. 禁止-Wtautological，比較警告
- 27. 如何禁止StyleCop警告？
- 28. 如何在lisp（sbcl）中禁用警告
- 29. 如何在bash中禁用「zip」警告？
- 30. 警告