pub trait MachineCallback<'mir, 'tcx>: VisitProvenance {
    // Required method
    fn call(
        &self,
        ecx: &mut InterpCx<'mir, 'tcx, MiriMachine<'mir, 'tcx>>
    ) -> InterpResult<'tcx>;
}
Expand description

Trait for callbacks that can be executed when some event happens, such as after a timeout.

Required Methods§

source

fn call( &self, ecx: &mut InterpCx<'mir, 'tcx, MiriMachine<'mir, 'tcx>> ) -> InterpResult<'tcx>

Implementors§

source§

impl<'mir, 'tcx: 'mir> MachineCallback<'mir, 'tcx> for UnblockCallback