[package]
name = "libcprover_rust"
version = "6.4.1"
edition = "2021"
description = "Rust API for CBMC and assorted CProver tools"
repository = "https://github.com/diffblue/cbmc"
documentation = "https://diffblue.github.io/cbmc/"
license = "BSD-4-Clause"
exclude = ["module_dependencies.txt", "Cargo.lock"]
readme = "readme.md"

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]
cxx = { version = "1.0", default-features = false, features = ["std", "c++17"] }

[build-dependencies]
cxx-build = "1.0"

[lib]
crate-type = ["rlib"]
doctest = false