Fix serialize_to_file

scroll-tech · Nov 19, 2024 · 493a65b · 493a65b
1 parent cf7cdea
commit 493a65b
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/circ_blocks/examples/zxc.rs b/circ_blocks/examples/zxc.rs
@@ -375,15 +375,20 @@ struct RunTimeKnowledge {
 
 impl RunTimeKnowledge {
     fn serialize_to_file(&self, benchmark_name: String) -> std::io::Result<()> {
-        let file_name = format!("../zok_tests/inputs/{}_bin.rtk", benchmark_name);
+        let dir = "../zok_tests/inputs";
+        std::fs::create_dir_all(dir)?;
+        let file_name = format!("{dir}/{benchmark_name}_bin.rtk");
+        std::fs::create_dir_all("../zok_tests/inputs")?;
         let mut f = File::create(file_name)?;
         let content = bincode::serialize(&self).unwrap();
         f.write(&content)?;
         Ok(())
     }
 
     fn write_to_file(&self, benchmark_name: String) -> std::io::Result<()> {
-        let file_name = format!("../zok_tests/inputs/{}.rtk", benchmark_name);
+        let dir = "../zok_tests/inputs";
+        std::fs::create_dir_all(dir)?;
+        let file_name = format!("{dir}/{benchmark_name}.rtk");
         let mut f = File::create(file_name)?;
         writeln!(
             &mut f,