是否有一个库/框架/文章描述了在 C 中使用合同的方法我的意思是代码比明显的断言
例如类似： Programming with Contracts in C++
但对于 C
问问题
157 次
1 回答
0
我按照 Samek 的描述执行 DbC。
http://www.barrgroup.com/Embedded-Systems/How-To/Design-by-Contract-for-Embedded-Software
于 2013-10-30T07:16:00.083 回答