Method get_seed_path_by_id

src/deopt.rs:466–475

(&self, id: usize)

    }

    pub fn get_seed_path_by_id(&self, id: usize) -> Result<PathBuf> {
        let seed_dir = self.get_library_seed_dir()?;
        let seed_path: PathBuf = [
            seed_dir,
            format!("id_{number:>0width$}.cc", number = id, width = 6).into(),
        ]
        .iter()
        .collect();
        Ok(seed_path)
    }

    pub fn get_succ_seed_path_by_id(&self, id: usize) -> Result<PathBuf> {
        let seed_dir = self.get_library_succ_seed_dir()?;