Disallow duplicate test names

src/cfg/tests.rs

@@ -26,7 +26,7 @@ macro_rules! cfg_test_function_to_cfg {
 
 cfg_test_function_to_cfg!(
     fib_cfg,
-    include_str!("../../tests/passing/brils/mem/fib.bril"),
+    include_str!("../../tests/passing/brils/mem/fib_test.bril"),
     [
         ENTRY  = (Jmp) => "loop",
         "loop" = (true_cond("cond")) => "body",

tests/files.rs

@@ -63,8 +63,35 @@ fn generate_tests(glob: &str, benchmark_mode: bool) -> Vec<Trial> {
     trials
 }
 
+fn check_no_duplicates(globs: Vec<&str>) {
+    let mut names = HashSet::<String>::new();
+
+    for glob in globs {
+        for file in glob::glob(glob).unwrap() {
+            let name = file
+                .unwrap()
+                .file_stem()
+                .unwrap()
+                .to_str()
+                .unwrap()
+                .to_string();
+            if names.contains(&name) {
+                panic!("Duplicate filename {}.", name);
+            }
+            names.insert(name);
+        }
+    }
+}
+
 fn main() {
     let args = libtest_mimic::Arguments::from_args();
+
+    // Check for duplicate files
+    check_no_duplicates(vec![
+        "tests/passing/**/*.bril",
+        "benchmarks/passing/**/*.bril",
+    ]);
+
     let mut tests = generate_tests("tests/passing/**/*.bril", false);
     // also generate tests for benchmarks
     tests.extend(generate_tests("benchmarks/passing/**/*.bril", true));