Function execute

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

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.