Struct ApplyConfig 

pub struct ApplyConfig {
    pub binary_path: PathBuf,
    pub backup_path: PathBuf,
    pub r2smt_version: String,
}

Inputs to apply_plan that are not part of the plan itself.

The caller is responsible for creating backup_path before invoking the patcher — backups taken after writes have started would already be corrupted.

Fields

binary_path: PathBuf

Path of the binary being patched (used to compute integrity hashes for the manifest).

backup_path: PathBuf

Path of the full-file backup created before patching.

r2smt_version: String

r2SMT version string recorded in the manifest.

Trait Implementations

impl Clone for ApplyConfig

fn clone(&self) -> ApplyConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ApplyConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.