Trait EvalContextExt 

pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn step_current_thread(&mut self) -> InterpResult<'tcx> { ... }
    fn run_threads(&mut self) -> InterpResult<'tcx, !> { ... }
}

Provided Methods

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

Public because this is used by Priroda.

fn run_threads(&mut self) -> InterpResult<'tcx, !>

Run the core interpreter loop. Returns only when an interrupt occurs (an error or program termination).

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'tcx> EvalContextExt<'tcx> for MiriInterpCx<'tcx>