Fix serialize_to_file

Author: matthiasgoergens

circ_blocks/examples/zxc.rs

@@ -238,15 +238,19 @@ struct CompileTimeKnowledge {
 
 impl CompileTimeKnowledge {
     fn serialize_to_file(&self, benchmark_name: String) -> std::io::Result<()> {
-        let file_name = format!("../zok_tests/constraints/{}_bin.ctk", benchmark_name);
+        let dir = "../zok_tests/constraints";
+        std::fs::create_dir_all(dir)?;
+        let file_name = format!("{dir}/{benchmark_name}_bin.ctk");
         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/constraints/{}.ctk", benchmark_name);
+        let dir = "../zok_tests/constraints";
+        std::fs::create_dir_all(dir)?;
+        let file_name = format!("{dir}/{benchmark_name}.ctk");
         let mut f = File::create(file_name)?;
         writeln!(&mut f, "Num Blocks: {}", self.block_num_instances)?;
         writeln!(&mut f, "Max Num Vars: {}", self.num_vars)?;
@@ -375,15 +379,19 @@ 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");
         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,