WIP

Author: zgrannan

build.rs

@@ -0,0 +1,14 @@
+use std::process::Command;
+
+fn main() {
+    let sysroot = Command::new("rustc")
+        .arg("--print")
+        .arg("sysroot")
+        .output()
+        .expect("Failed to get sysroot")
+        .stdout;
+
+    let sysroot_path = String::from_utf8(sysroot).expect("Invalid UTF-8").trim().to_string();
+
+    println!("cargo:rustc-link-arg=-Wl,-rpath,{}/lib", sysroot_path);
+}

run_tests.sh

@@ -16,7 +16,7 @@ use crate::{
                 visit::Visitor, AggregateKind, BorrowKind, Const, Location, Operand, Rvalue,
                 Statement, StatementKind, Terminator, TerminatorKind,
             },
-            ty::{self, Region, RegionKind, RegionVid, TypeVisitable, TypeVisitor},
+            ty::{self, TypeVisitable, TypeVisitor},
         },
     },
     utils::Place,
@@ -38,7 +38,7 @@ use super::{
     path_condition::PathConditions,
     region_projection::{PCGRegion, RegionProjection},
     region_projection_member::RegionProjectionMember,
-    unblock_graph::{UnblockGraph, UnblockType},
+    unblock_graph::UnblockGraph,
 };
 use super::{
     domain::{AbstractionOutputTarget, AbstractionType, FunctionCallAbstraction},

src/borrows/borrows_visitor.rs

@@ -45,9 +45,9 @@ fn mir_borrowck<'tcx>(tcx: TyCtxt<'tcx>, def_id: LocalDefId) -> MirBorrowck<'tcx
 
 fn should_check_body(body: &BodyWithBorrowckFacts<'_>) -> bool {
     // DEBUG
-    body.body.basic_blocks.len() < 8
+    // body.body.basic_blocks.len() < 8
 
-    // true
+    true
 }
 
 fn run_pcs_on_all_fns<'tcx>(tcx: TyCtxt<'tcx>) {

src/main.rs

@@ -0,0 +1,50 @@
+#[test]
+fn run_all_tests() {
+    use std::process::Command;
+
+    // Get the current executable's directory
+    let current_exe = std::env::current_exe().unwrap();
+    let target_dir = current_exe.parent().unwrap().parent().unwrap();
+    let workspace_dir = target_dir.parent().unwrap();
+
+    // Find all numbered test files
+    let test_dir = workspace_dir.join("tests");
+    let mut test_files: Vec<_> = std::fs::read_dir(&test_dir)
+        .unwrap()
+        .filter_map(|entry| {
+            let entry = entry.unwrap();
+            let path = entry.path();
+            let file_name = path.file_name()?.to_str()?;
+            // Match files that start with numbers and end with .rs
+            // Exclude .wip files
+            if file_name.chars().next()?.is_ascii_digit() && file_name.ends_with(".rs") {
+                Some(path)
+            } else {
+                None
+            }
+        })
+        .collect();
+
+    // Sort test files by name to ensure consistent order
+    test_files.sort();
+
+    // Get the path to our executable
+    let pcs_exe = target_dir.join("pcs_bin");
+
+    // Run each test file
+    for test_file in test_files {
+        println!("Running test: {}", test_file.display());
+
+        let status = Command::new(&pcs_exe)
+            .arg(&test_file)
+            .status()
+            .unwrap_or_else(|e| panic!("Failed to execute test {}: {}", test_file.display(), e));
+
+        assert!(
+            status.success(),
+            "Test {} failed with status: {}",
+            test_file.display(),
+            status
+        );
+    }
+}