Struct MiriRequest

pub struct MiriRequest {
    pub code: String,
    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: String

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 MiriRequest

pub fn new( code: String, 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 Clone for MiriRequest

fn clone(&self) -> MiriRequest

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MiriRequest

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

Formats the value using the given formatter.

impl Default for MiriRequest

fn default() -> Self

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

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

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for MiriRequest

fn eq(&self, other: &MiriRequest) -> 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 Serialize for MiriRequest

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for MiriRequest

impl StructuralPartialEq for MiriRequest