Add a missing header file and some extra links so that it builds on linux

Author: NlightNFotis

src/libcprover-rust/build.rs

@@ -50,6 +50,11 @@ fn main() {
     println!("cargo:rustc-link-lib=static=solvers");
     println!("cargo:rustc-link-lib=static=assembler");
     println!("cargo:rustc-link-lib=static=xml");
+    println!("cargo:rustc-link-lib=static=json");
+    println!("cargo:rustc-link-lib=static=json-symtab-language");
+    println!("cargo:rustc-link-lib=static=cpp");
+    println!("cargo:rustc-link-lib=static=jsil");
+    println!("cargo:rustc-link-lib=static=statement-list");
     println!("cargo:rustc-link-lib=static=goto-symex");
     println!("cargo:rustc-link-lib=static=pointer-analysis");
     println!("cargo:rustc-link-lib=static=minisat2-condensed");

src/libcprover-rust/include/c_api.h

@@ -1,6 +1,7 @@
 #pragma once
 
 #include "rust/cxx.h"
+#include <memory>
 
 struct api_sessiont;
 

src/libcprover-rust/src/lib.rs

@@ -60,24 +60,24 @@ mod tests {
         assert_eq!(vect.len(), 2);
     }
 
-    // #[test]
-    // fn it_can_load_model_from_file() {
-    //     let binding = ffi::new_api_session();
-    //     let client = match binding.as_ref() {
-    //         Some(api_ref) => api_ref,
-    //         None => panic!("Failed to acquire API session handle"),
-    //     };
+    #[test]
+    fn it_can_load_model_from_file() {
+        let binding = ffi::new_api_session();
+        let client = match binding.as_ref() {
+            Some(api_ref) => api_ref,
+            None => panic!("Failed to acquire API session handle"),
+        };
 
-    //     let vec: Vec<String> = vec![
-    //         "/tmp/example.c".to_owned()];
+        let vec: Vec<String> = vec![
+            "/tmp/example.c".to_owned()];
 
-    //     let vect = ffi::translate_vector_of_string(vec);
-    //     assert_eq!(vect.len(), 1);
+        let vect = ffi::translate_vector_of_string(vec);
+        assert_eq!(vect.len(), 1);
 
-    //     // Invoke load_model_from_files and see if the model
-    //     // has been loaded.
-    //     client.load_model_from_files(vect);
-    // }
+        // Invoke load_model_from_files and see if the model
+        // has been loaded.
+        client.load_model_from_files(vect);
+    }
 
     #[test]
     fn it_can_verify_the_loaded_model() {