Trait miri::interpret::MachineStopType

source · 
pub trait MachineStopType: AsAny + Display + Send { }
Expand description

A trait for machine-specific errors (or other “machine stop” conditions).

Implementors§