analyze: tests: add test reading serialized pdg file

c2rust-analyze/tests/analyze.rs

@@ -1,6 +1,6 @@
 pub mod common;
 
-use crate::common::{check_for_missing_tests_for, test_dir_for, Analyze};
+use crate::common::{check_for_missing_tests_for, test_dir_for, Analyze, CrateOptions, CrateType};
 
 #[test]
 fn check_for_missing_tests() {
@@ -39,3 +39,29 @@ define_tests! {
 fn lighttpd_minimal() {
     Analyze::resolve().run("../analysis/tests/lighttpd-minimal/src/main.rs");
 }
+
+#[test]
+fn with_pdg_file() {
+    use std::path::PathBuf;
+    let pdg_path: PathBuf = "../analysis/tests/minimal/reference_pdg.bc".into();
+    println!("{:?}", std::env::current_dir());
+    let pdg_path = pdg_path.canonicalize().unwrap();
+    let crate_options = CrateOptions {
+        crate_type: CrateType::Bin,
+        ..Default::default()
+    };
+    Analyze::resolve().run_with(
+        "../analysis/tests/minimal/src/main.rs",
+        |cmd| {
+            cmd.env("PDG_FILE", &pdg_path).args(&[
+                "--crate-name",
+                "c2rust_analysis_tests_minimal",
+                "-C",
+                "metadata=4095517b1921578c",
+                "-C",
+                "extra-filename=-4095517b1921578c",
+            ]);
+        },
+        Some(crate_options),
+    );
+}