Miri

# Run all tests with Miri
cargo miri test

# Run specific test
cargo miri test test_name

# Run tests matching a filter
cargo miri test filter

# Run the main binary
cargo miri run

# Run a specific binary
cargo miri run --bin my_binary

# Pass arguments to the program
cargo miri run -- arg1 arg2

# Run as Linux program (better support than Windows)
cargo miri run --target x86_64-unknown-linux-gnu

# Test on big-endian architecture
cargo miri test --target s390x-unknown-linux-gnu

# Test on different pointer width
cargo miri test --target i686-unknown-linux-gnu

# Disable isolation (access host environment)
MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test

# Ignore memory leaks
MIRIFLAGS="-Zmiri-ignore-leaks" cargo miri run

# Use a specific seed for determinism
MIRIFLAGS="-Zmiri-seed=42" cargo miri test

# Test multiple seeds
MIRIFLAGS="-Zmiri-many-seeds=0..16" cargo miri test

# Make concurrency fully deterministic
MIRIFLAGS="-Zmiri-deterministic-concurrency" cargo miri test

# Forward specific environment variable
MIRIFLAGS="-Zmiri-env-forward=MY_VAR" cargo miri test

# Set environment variable for the program
MIRIFLAGS="-Zmiri-env-set=MY_VAR=value" cargo miri run

# Get backtraces (requires disabling isolation)
RUST_BACKTRACE=1 MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test

# Configure backtrace verbosity
MIRIFLAGS="-Zmiri-backtrace=full" cargo miri run

# Test with 64 different seeds (default)
MIRIFLAGS="-Zmiri-many-seeds" cargo miri test

# Test with specific range of seeds
MIRIFLAGS="-Zmiri-many-seeds=0..16" cargo miri test

# Continue even after finding failures
MIRIFLAGS="-Zmiri-many-seeds-keep-going" cargo miri test

[package]
name = "miri"
version = "0.1.0"
edition = "2024"
description = "An experimental interpreter for Rust MIR (core driver)."

[dependencies]
getrandom = { version = "0.3", features = ["std"] }
rand = "0.9"
smallvec = { version = "1.7", features = ["drain_filter"] }
aes = { version = "0.8.3", features = ["hazmat"] }
measureme = "12"
chrono = { version = "0.4.38", default-features = false }

[features]
default = ["stack-cache", "native-lib"]
genmc = ["dep:genmc-sys"]
stack-cache = []
expensive-consistency-checks = ["stack-cache"]
tracing = ["serde_json"]
native-lib = ["dep:libffi", "dep:libloading", ...]

# Build Miri
./x build miri

# Test Miri
./x test miri

# Build and install Miri
./x install miri

#[test]
#[cfg_attr(miri, ignore)]
fn test_requires_native_io() {
    // This test uses features Miri doesn't support
    std::fs::read("file.txt").unwrap();
}

// Or check at runtime
#[test]
fn conditional_test() {
    if cfg!(miri) {
        // Simplified version for Miri
    } else {
        // Full native test
    }
}

# Install cargo-nextest
cargo install cargo-nextest

# Run tests in parallel
cargo miri nextest run -j8

miri:
  name: "Miri"
  runs-on: ubuntu-latest
  steps:
    - uses: actions/checkout@v4
    - name: Install Miri
      run: |
        rustup toolchain install nightly --component miri
        rustup override set nightly
        cargo miri setup
    - name: Test with Miri
      run: cargo miri test

- name: Test with Miri on multiple targets
  run: |
    cargo miri test --target x86_64-unknown-linux-gnu
    cargo miri test --target s390x-unknown-linux-gnu

# Disable Stacked Borrows
MIRIFLAGS="-Zmiri-disable-stacked-borrows" cargo miri test

# Use Tree Borrows instead
MIRIFLAGS="-Zmiri-tree-borrows" cargo miri test

# Track pointer tags for debugging
MIRIFLAGS="-Zmiri-track-pointer-tag=123" cargo miri run

# Track specific allocations
MIRIFLAGS="-Zmiri-track-alloc-id=42,43" cargo miri test

# Control preemption rate
MIRIFLAGS="-Zmiri-preemption-rate=0.1" cargo miri test

# Report progress for long-running programs
MIRIFLAGS="-Zmiri-report-progress" cargo miri run

# Make floating-point fully deterministic
MIRIFLAGS="-Zmiri-deterministic-floats" cargo miri test

# Disable extra rounding errors
MIRIFLAGS="-Zmiri-no-extra-rounding-error" cargo miri test