machine_check

Function parse_args

Source 
pub fn parse_args<A: Args>(args: impl Iterator<Item = String>) -> (ExecArgs, A)
Expand description

Parses machine-check and user-defined arguments.

Returns arguments parsed to machine-check and system-specific argument definitions. The arguments can be later used in execute.

Examples found in repository?
examples/recovery.rs (line 105)
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}