Method save_program

src/deopt.rs:530–540

Save the seed programs into disk.

(&self, program: &Program)

    // Save the seed programs into disk.
    pub fn save_program(&self, program: &Program) -> Result<PathBuf> {
        let seed_path = self.get_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_succ_program(&self, program: &Program) -> Result<PathBuf> {
        let seed_path = self.get_succ_seed_path_by_id(program.id)?;