Skip to main content

entry_fn

miri::eval

Function entry_fn 

Source 
pub fn entry_fn(tcx: TyCtxt<'_>) -> (DefId, MiriEntryFnType)
Expand description

Finds the entry point Miri should execute.

Public because this is used by Priroda.