machine_check_exec

Function execute

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

Executes machine-check with parsed arguments.

The arguments can be parsed using parse_args.