Function machine_check::execute

source ยท 
pub fn execute<M>(system: M, exec_args: ExecArgs) -> ExecResult
where
    M: FullMachine,
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. Executes machine-check with parsed arguments.

The arguments can be parsed using parse_args.