fix writing external host call table

DelphinusLab · Aug 16, 2024 · 82346ea · 82346ea
1 parent b1f5603
commit 82346ea
Showing 1 changed file with 13 additions and 5 deletions.
diff --git a/crates/specs/src/lib.rs b/crates/specs/src/lib.rs
@@ -108,10 +108,18 @@ impl Tables {
                     );
                 }
             });
-        write_file(
-            dir,
-            "external_host_table.json",
-            &serde_json::to_string_pretty(&self.execution_tables.external_host_call_table).unwrap(),
-        );
+
+        for (i, external_host_call_table) in self
+            .execution_tables
+            .external_host_call_table
+            .iter()
+            .enumerate()
+        {
+            write_file(
+                dir,
+                &format!("external_host_table.{}.json", i),
+                &serde_json::to_string_pretty(&external_host_call_table).unwrap(),
+            );
+        }
     }
 }