Trait miri::concurrency::thread::EvalContextPrivExt

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

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

Execute a timeout callback on the callback’s thread.

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

Implementors

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