duvet
| Crates.io | duvet |
| lib.rs | duvet |
| version | 0.3.0 |
| source | src |
| created_at | 2022-02-09 16:25:07.256326 |
| updated_at | 2024-06-08 00:08:30.930548 |
| description | A code quality tool to help bound correctness. |
| homepage | |
| repository | https://github.com/awslabs/duvet |
| max_upload_size | |
| id | 529767 |
| size | 831,137 |
s2n-core (github:aws:s2n-core)
documentation
README
Duvet
A code quality tool to help bound correctness. By starting from a specification Duvet extracts every RFC 2119 requirement. Duvet can then use this information to report on a code base. Duvet can then report on every requirement, where it is honored in source, as well as how that source is tested.
Support
This tool is still in beta. Interfaces should be considered unstable and may change before the 1.0.0 release.
Test
First run make in the main duvet directory to generate the necessary files.
cargo test
Build
If there are any changes to the JS
it will also need to be built.
In the www directory run make build
Install
cargo +stable install --force --path .
Security
See CONTRIBUTING for more information.
License
This project is licensed under the Apache-2.0 License.