sv_loop

miri::shims::native_lib::trace::parent

Function sv_loop 

Source 
pub fn sv_loop(
    listener: ChildListener,
    init_pid: Pid,
    event_tx: IpcSender<MemEvents>,
    confirm_tx: IpcSender<Confirmation>,
) -> Result<!, ExecEnd>
Expand description

This is the main loop of the supervisor process. It runs in a separate process from the rest of Miri (but because we fork, addresses for anything created before the fork - like statics - are the same).