Method save_succ_program

src/deopt.rs:542–552

(&self, program: &Program)

    }

    pub fn save_succ_program(&self, program: &Program) -> Result<PathBuf> {
        let seed_path = self.get_succ_seed_path_by_id(program.id)?;
        let content = [
            utils::format_library_header_strings(self).to_string(),
            program.serialize(),
        ]
        .concat();
        std::fs::write(&seed_path, content)?;
        remove_duplicate_definition(&seed_path)?;
        Ok(seed_path)
    }

    pub fn save_err_program(
        &mut self,