kani 0.0.1

Placeholder crate for the library of the Kani Rust verifier.
Documentation
  • Coverage
  • 50%
    1 out of 2 items documented0 out of 1 items with examples
  • Size
  • Source code size: 12.78 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 1.03 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 10s Average build duration of successful builds.
  • all releases: 10s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • Homepage
  • Documentation
  • model-checking/kani
    3069 145 447
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • celinval zhassan-aws github:model-checking:kani-releasers rahulku

Kani library crate placeholder

This is a placeholder crate for the library of the Kani Rust verifier.

This crate will be released in the future once it is deemed stable.