文件名称：nana:Nana - CC++ 的契约式设计框架
文件大小：1.44MB
文件格式：ZIP
更新时间：2024-07-21 03:10:53
Assembly
娜娜 Nana 是 C/C++ 的开发人员/测试工具，它支持使用代码混合和 GDB 调试器支持的契约设计。 它旨在用于： 安全关键或高可靠性系统。 嵌入式系统所在的GDB。 它的一些好处是空间和时间效率，例如 i386 上的默认assert(i>=10)实现使用 52 字节 vs 10 字节进行 nana 内联检查（如果您使用基于 GDB 的断言检查，则为 1 字节）。 库的特定部分需要 GNU CC 扩展，但它也可以在 clang 下工作。 符合标准的版本大多不包括 forall (A)、exists (E) 等的量词。