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
.