We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 53b50bc + f83c898 commit 68af7a4Copy full SHA for 68af7a4
src/libcprover-rust/Cargo.toml
@@ -7,6 +7,7 @@ repository = "https://github.com/diffblue/cbmc"
7
documentation = "https://diffblue.github.io/cbmc/"
8
license = "BSD-4-Clause"
9
exclude = ["module_dependencies.txt", "Cargo.lock"]
10
+readme = "readme.md"
11
12
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
13
0 commit comments