Priroda is a step-through debugger for Rust programs running under Miri.
Current focus:
From miri/, install the pinned toolchain and the local cargo-miri command:
./miri toolchain ./miri install
Then build the Miri sysroot and export it for Priroda:
cargo +miri miri setup export MIRI_SYSROOT="$(cargo +miri miri setup --print-sysroot)"
Priroda currently reads MIRI_SYSROOT directly. After setup:
cargo run -p priroda -- tests/pass/empty_main.rs
| Command | Description |
|---|---|
Enter, s, step | Execute one Miri interpreter step. |
c, continue | Continue until the program finishes or reaches a breakpoint. |
b <path>:<line>, break <path>:<line> | Add a source-location breakpoint. |
q, quit | Exit Priroda. |
EOF also exits Priroda cleanly.
Example:
(priroda) break tests/pass/empty_main.rs:3 (priroda) continue