viperproject/Verify with Prusti
Verify Rust code using the Prusti verifier.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
- Runtime
- Deprecated runtime
Inputs
| name | description | required | default |
|---|---|---|---|
| path | Path to crate or Rust file (see `verify-crate` option) to verify. | yes | — |
| version | Prusti version to use, as the name of a release on GitHub, or "nightly". | no | nightly |
| verify-crate | Whether to run Prusti on a full crate (true), or a single file (false). | no | true |
| annotation-path | Relative path to the input crate or file from the root of the repository. Used to correctly show GitHub annotations. | no | "" |
| token | GitHub token or personal access token. | no | "" |
Outputs
no outputs