Change C smoke-test file path so the tests don't fail trying to open the file

Author: NlightNFotis

src/libcprover-rust/other/example.c

@@ -0,0 +1,7 @@
+// File just to allow smoke testing of Rust API while tests are run.
+
+int main(int argc, char *argv[])
+{
+  int arr[] = {0, 1, 2, 3};
+  __CPROVER_assert(arr[3] != 3, "expected failure: arr[3] == 3");
+}

src/libcprover-rust/src/lib.rs

@@ -55,7 +55,7 @@ mod tests {
     #[test]
     fn translate_vector_of_rust_string_to_cpp() {
         let vec: Vec<String> = vec![
-            "/tmp/example.c".to_owned(),
+            "other/example.c".to_owned(),
             "/tmp/example2.c".to_owned()];
 
         let vect = ffi::translate_vector_of_string(vec);
@@ -71,7 +71,7 @@ mod tests {
         };
 
         let vec: Vec<String> = vec![
-            "/tmp/example.c".to_owned()];
+            "other/example.c".to_owned()];
 
         let vect = ffi::translate_vector_of_string(vec);
         assert_eq!(vect.len(), 1);
@@ -91,7 +91,7 @@ mod tests {
         let client = ffi::new_api_session();
 
         let vec: Vec<String> = vec![
-            "/tmp/example.c".to_owned()];
+            "other/example.c".to_owned()];
 
         let vect = ffi::translate_vector_of_string(vec);
         client.load_model_from_files(vect);
@@ -114,7 +114,7 @@ mod tests {
         };
 
         let vec: Vec<String> = vec![
-            "/tmp/example.c".to_owned()];
+            "other/example.c".to_owned()];
 
         let vect = ffi::translate_vector_of_string(vec);
         assert_eq!(vect.len(), 1);