Trait miri::concurrency::thread::EvalContextPrivExt

source ·
trait EvalContextPrivExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn run_timeout_callback(&mut self) -> InterpResult<'tcx> { ... }
    fn run_on_stack_empty(&mut self) -> InterpResult<'tcx, Poll<()>> { ... }
}

Provided Methods§

source

fn run_timeout_callback(&mut self) -> InterpResult<'tcx>

Execute a timeout callback on the callback’s thread.

source

fn run_on_stack_empty(&mut self) -> InterpResult<'tcx, Poll<()>>

Implementors§

source§

impl<'tcx> EvalContextPrivExt<'tcx> for MiriInterpCx<'tcx>