machine_check

Function execute

Source 
pub fn execute<M: FullMachine>(system: M, exec_args: ExecArgs) -> ExecResult
Expand description

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

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

Examples found in repository?
examples/recovery.rs (line 112)
104fn main() {
105    let (run_args, system_args) = machine_check::parse_args::<SystemArgs>(std::env::args());
106    if system_args.enable_reset {
107        println!("Reset input is enabled");
108    } else {
109        println!("Reset input is disabled");
110    }
111    let enable_reset = Bitvector::<1>::new(system_args.enable_reset as u64);
112    machine_check::execute(machine_module::System { enable_reset }, run_args);
113}