Get the project to work with a toy rust project and link correctly

NlightNFotis · NlightNFotis · commit 13a6a33d24e1 · 2023-03-15T16:39:16.000Z
diff --git a/src/libcprover-rust/Cargo.lock b/src/libcprover-rust/Cargo.lock
diff --git a/src/libcprover-rust/Cargo.toml b/src/libcprover-rust/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "cprover-api-rust"
+name = "libcprover_rust"
 version = "0.1.0"
 edition = "2021"
 description = "Rust API for CBMC and assorted CProver tools"
@@ -17,4 +17,4 @@ cxx = "1.0"
 cxx-build = "1.0"
 
 [lib]
-crate-type = ["staticlib"]
+crate-type = ["rlib"]
diff --git a/src/libcprover-rust/src/lib.rs b/src/libcprover-rust/src/lib.rs
@@ -1,4 +1,5 @@
 use cxx::{CxxString, CxxVector};
+
 #[cxx::bridge]
 pub mod ffi {
 
