Function machine_check::run_with_args

source · 
pub fn run_with_args<M>(system: M, args: impl Iterator<Item = String>)
where
    M: FullMachine,
Expand description

Runs machine-check with the given constructed system and custom arguments.

Custom arguments are used to run machine-check. Otherwise, this method behaves the same as run.