Struct MiriRequest 

pub struct MiriRequest<'a> {
    pub code: Cow<'a, str>,
    pub edition: Edition,
    pub tests: bool,
    pub aliasing_model: Option<AliasingModel>,
}

A request structure for running Rust code under Miri, the Rust interpreter for detecting undefined behavior.

Fields

code: Cow<'a, str>

The Rust source code to be interpreted.

edition: Edition

The Rust edition to use (e.g., 2021, 2024).

tests: bool

Whether the request is for running tests instead of the main function.

aliasing_model: Option<AliasingModel>

Optional memory aliasing model used by Miri (e.g., stacked or tree).

Implementations

impl<'a> MiriRequest<'a>

pub fn new( code: Cow<'a, str>, edition: Edition, tests: bool, aliasing_model: Option<AliasingModel>, ) -> Self

Creates a new MiriRequest with the provided parameters.

Parameters

• code: The Rust source code.
• edition: The Rust edition to use.
• tests: Whether to run tests.
• aliasing_model: Optional aliasing model for memory interpretation.

Trait Implementations

impl<'a> Clone for MiriRequest<'a>

fn clone(&self) -> MiriRequest<'a>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for MiriRequest<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> Default for MiriRequest<'a>

fn default() -> Self

Returns a default MiriRequest using Edition2024, no tests, and the Stacked aliasing model.

impl<'de, 'a> Deserialize<'de> for MiriRequest<'a>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'a> PartialEq for MiriRequest<'a>

fn eq(&self, other: &MiriRequest<'a>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'b> Request for MiriRequest<'b>

fn endpoint<'a>(&self) -> Endpoints<'a>

impl<'a> Serialize for MiriRequest<'a>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'a> Eq for MiriRequest<'a>

impl<'a> StructuralPartialEq for MiriRequest<'a>