github actions : model-checking/kani-github-action : v1.0
Run the Kani Rust Verifier on a Rust Crate
Registry -
Download -
JSON -
codemeta.json
purl: pkg:githubactions/model-checking/kani-github-action@v1.0
Published:
Indexed:
Related tag:
v1.0
Loading...
Readme
Loading...