#quality #requirements #rfc #specification #correctness #source #bounds

app duvet

一个帮助限制正确性的代码质量工具

5个版本 (3个破坏性更新)

0.3.0 2024年6月8日
0.2.0 2022年11月17日
0.1.1 2022年10月7日
0.1.0 2022年8月16日
0.0.0 2022年2月9日

#341 in 文件系统

Download history 166/week @ 2024-05-03 95/week @ 2024-05-10 156/week @ 2024-05-17 105/week @ 2024-05-24 109/week @ 2024-05-31 280/week @ 2024-06-07 94/week @ 2024-06-14 69/week @ 2024-06-21 141/week @ 2024-06-28 141/week @ 2024-07-05 128/week @ 2024-07-12 123/week @ 2024-07-19 170/week @ 2024-07-26 133/week @ 2024-08-02 71/week @ 2024-08-09 178/week @ 2024-08-16

每月589次下载

Apache-2.0

795KB
4K SLoC

羽绒

一个帮助限制正确性的代码质量工具。从规范开始,Duvet提取每个RFC 2119要求。然后,Duvet可以使用这些信息来报告代码库。Duvet可以报告每个要求,它在源代码中的位置以及该源代码是如何进行测试的。

支持

此工具仍处于测试版。接口应被视为不稳定,并在1.0.0发布之前可能会更改。

测试

在主duvet目录中首先运行make以生成必要的文件。

cargo test

构建

如果有任何更改到JS,也需要构建。在www目录中运行make build

安装

cargo +stable install --force --path .

安全

有关更多信息,请参阅CONTRIBUTING

许可证

本项目采用Apache-2.0许可证。

依赖项

~10–23MB
~358K SLoC