report_result

miri

Function report_result 

Source 
pub fn report_result<'tcx>(
    ecx: &InterpCx<'tcx, MiriMachine<'tcx>>,
    res: InterpErrorInfo<'tcx>,
) -> Option<(i32, bool)>
Expand description

Report the result of a Miri execution.

Returns Some if this was regular program termination with a given exit code and a bool indicating whether a leak check should happen; None otherwise.