确定当前通过ACL2认证的书籍

分类: 技术问答 • 2022-09-18 23:06:38

问题描述：

如何查看哪些书籍正在通过给定机器上的ACL2认证？我知道我可以查看输出结果并找出结果，但这需要付出不小的努力。确定当前通过ACL2认证的书籍

答

大多数系统上的以下工作：

ps axww | grep cert