From 064af81dc9ad6da8640d273851b51a42bea089ac Mon Sep 17 00:00:00 2001
From: Robin Salen <salenrobin@gmail.com>
Date: Wed, 24 Jan 2024 15:10:01 -0500
Subject: [PATCH 1/2] Ignore bad variant of InitCollision

---
 eth_test_parser/src/fs_scaffolding.rs | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/eth_test_parser/src/fs_scaffolding.rs b/eth_test_parser/src/fs_scaffolding.rs
index 2b16f1c..43cc08c 100644
--- 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 {

From 97c1a4e4bc81ec90f5469789a64418a1d8ac0f6e Mon Sep 17 00:00:00 2001
From: Robin Salen <salenrobin@gmail.com>
Date: Wed, 24 Jan 2024 15:21:00 -0500
Subject: [PATCH 2/2] Pacify clippy

---
 eth_test_parser/src/fs_scaffolding.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/eth_test_parser/src/fs_scaffolding.rs b/eth_test_parser/src/fs_scaffolding.rs
index 43cc08c..159dad5 100644
--- a/eth_test_parser/src/fs_scaffolding.rs
+++ b/eth_test_parser/src/fs_scaffolding.rs
@@ -133,7 +133,6 @@ fn get_deserialized_test_body(entry: &DirEntry) -> Result<Vec<TestBody>> {
     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();