# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO # # When uploading crates to the registry Cargo will automatically # "normalize" Cargo.toml files for maximal compatibility # with all versions of Cargo and also rewrite `path` dependencies # to registry (e.g., crates.io) dependencies. # # If you are reading this file be aware that the original Cargo.toml # will likely look very different (and much more reasonable). # See Cargo.toml.orig for the original contents. [package] edition = "2021" name = "kani" version = "0.0.1" include = [ "src/*", "/LICENSE-*", "/README.md", ] publish = ["crates-io"] description = "Placeholder crate for the library of the Kani Rust verifier." homepage = "https://github.com/model-checking/kani" documentation = "https://model-checking.github.io/kani/" readme = "README.md" keywords = [ "model-checking", "verification", ] categories = ["development-tools"] license = "MIT OR Apache-2.0" repository = "https://github.com/model-checking/kani"