Ignore bad variant of InitCollision

0xPolygonZero · Jan 24, 2024 · 064af81 · 064af81
1 parent ffe20d0
commit 064af81
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/eth_test_parser/src/fs_scaffolding.rs b/eth_test_parser/src/fs_scaffolding.rs
@@ -130,7 +130,13 @@ fn get_deserialized_test_body(entry: &DirEntry) -> Result<Vec<TestBody>> {
     let buf = BufReader::new(File::open(entry.path())?);
     let test_file: TestFile = serde_json::from_reader(buf)?;
 
-    let tests: Vec<TestBody> = test_file.0.into_values().collect();
+    let tests: Vec<TestBody> = test_file
+        .0
+        .into_values()
+        .into_iter()
+        // This test has an impossible configuration, ans is hence not provable.
+        .filter(|t| !t.name.contains("InitCollision_d2g0v0_Shanghai"))
+        .collect();
     if tests.is_empty() {
         Err(anyhow!("No valid tests found"))
     } else {