libcprover_rust 5.81.0

Rust API for CBMC and assorted CProver tools
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

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

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

[package]
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"
repository = "https://github.com/diffblue/cbmc"
version = "5.81.0"