assertions

一篇实地笔记认为，全绿的测试套件并不能证明测试是有意义的；应该让AI代理尝试让测试失败，以验证它们确实能捕获bug。

Test That 是一个新的 Rust 测试断言库，源自 GoogleTest Rust，提供更简洁的 API、可选的依赖项以及更好的匹配器组合性。

本文档描述了Ciao Prolog系统中的断言语言，它允许使用类型和实例化模式声明来注解代码，用于调试、测试、优化和自动文档生成。