Function miri::eval::create_ecx

source ยท 
pub fn create_ecx<'tcx>(
    tcx: TyCtxt<'tcx>,
    entry_id: DefId,
    entry_type: EntryFnType,
    config: &MiriConfig,
) -> InterpResult<'tcx, InterpCx<'tcx, MiriMachine<'tcx>>>
Expand description

Returns a freshly created InterpCx. Public because this is also used by priroda.