pub fn eval_entry<'tcx>(
tcx: TyCtxt<'tcx>,
entry_id: DefId,
entry_type: MiriEntryFnType,
config: &MiriConfig,
genmc_ctx: Option<Rc<GenmcCtx>>,
) -> Option<i32>
Expand description
Evaluates the entry function specified by entry_id
.
Returns Some(return_code)
if program execution completed.
Returns None
if an evaluation error occurred.