libcprover_rust 6.4.1

Rust API for CBMC and assorted CProver tools
1
2
3
4
5
6

{
  "git": {
    "sha1": "c902db34beb113815f151c4d1f635e745ac79c0c"
  },
  "path_in_vcs": "src/libcprover-rust"
}