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.

This tool is still in beta. Interfaces should be considered unstable and may change before the 1.0.0 release.

First run make in the main duvet directory to generate the necessary files.

cargo test

If there are any changes to the JS it will also need to be built. In the www directory run make build

cargo +stable install --force --path .

See CONTRIBUTING for more information.

This project is licensed under the Apache-2.0 License.