model-checking/kani-github-action
Run the Kani Rust Verifier on a Rust Crate
Links
| Registry | github actions |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:githubactions/model-checking/kani-github-action
spec |
| License | Apache-2.0 |
| Namespace | model-checking |
| First Release | over 3 years ago |
| Last Synced | 17 days ago |
Repository
Rankings on github actions
Overall
Top 7.7%
Forks
Top 4.7%