Function eval_entry 

pub fn eval_entry<'tcx>(
    tcx: TyCtxt<'tcx>,
    entry_id: DefId,
    entry_type: MiriEntryFnType,
    config: &MiriConfig,
    genmc_ctx: Option<Rc<GenmcCtx>>,
) -> Result<(), NonZeroI32>

Evaluates the entry function specified by entry_id. Returns Ok(()) if program execution completed with exit code 0. Returns Err(code) if an evaluation error occurred or the program returned a non-0 exit code.