[build-dependencies.cxx-build]
version = "1.0"
[dependencies.cxx]
default-features = false
features = ["std", "c++17"]
version = "1.0"
[lib]
crate-type = ["rlib"]
doctest = false
name = "libcprover_rust"
path = "src/lib.rs"
[package]
autobenches = false
autobins = false
autoexamples = false
autotests = false
build = "build.rs"
description = "Rust API for CBMC and assorted CProver tools"
documentation = "https://diffblue.github.io/cbmc/"
edition = "2021"
exclude = ["module_dependencies.txt", "Cargo.lock"]
license = "BSD-4-Clause"
name = "libcprover_rust"
readme = "readme.md"
repository = "https://github.com/diffblue/cbmc"
version = "6.4.1"