Add pretty print of verification output

Author: NlightNFotis

src/libcprover-rust/src/lib.rs

@@ -1,3 +1,4 @@
+use cxx::{CxxVector, CxxString};
 #[cxx::bridge]
 pub mod ffi {
 
@@ -17,6 +18,21 @@ pub mod ffi {
         fn translate_vector_of_string(elements: Vec<String>) -> &'static CxxVector<CxxString>;
         fn get_messages() -> &'static CxxVector<CxxString>;
     }
+
+    extern "Rust" {
+        fn print_response(vec: &CxxVector<CxxString>);
+    }
+}
+
+fn print_response(vec: &CxxVector<CxxString>) {
+    let vec: Vec<String> = vec
+        .iter()
+        .map(|s| s.to_string_lossy().into_owned())
+        .collect();
+    
+    for s in vec {
+        println!("{}", s);
+    }
 }
 
 // To test run "cargo test -- --nocapture"
@@ -76,6 +92,6 @@ mod tests {
         client.verify_model();
 
         let msgs = ffi::get_messages();
-        println!("{:?}", msgs);
+        print_response(msgs);
     }
 }