actions-marketplace-validations/Kani Rust Verifier
Run the Kani Rust Verifier on a Rust Crate
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| command | Command to run. | no | cargo-kani |
| working-directory | Directory to run kani on. | no | . |
| args | Arguments to pass to kani. | no | "" |
| enable-propproof | Experimental: Allow Kani to verify proptest harnesses using the PropProof feature | no | false |
Outputs
no outputs