问确定当前正在通过ACL2认证的图书
EN

Stack Overflow用户

提问于 2015-04-03 03:21:17

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

如何查看给定计算机上当前通过ACL2认证的图书？我知道我可以查看输出并弄清楚这一点，但这需要大量的努力。

发布于 2015-04-03 03:21:17

以下内容适用于大多数系统：

ps axww | grep cert

票数 0

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

原文链接：

https://stackoverflow.com/questions/29420812

复制

相似问题

问确定当前正在通过ACL2认证的图书EN