You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Miri, an interpreter for Rust's mid-level intermediate representation (MIR), can detect certain types of undefined behavior in any Rust code it runs. We should use it when running the Kosmonaut test suite in CI. This should be as easy as:
rustup component add miri
cargo miri test
Unfortunately, Kosmonaut development and CI environments currently require nightly, and miri seems to often be unavailable in nightly. If/when we switch to stable, we can make this change.
The text was updated successfully, but these errors were encountered:
Miri, an interpreter for Rust's mid-level intermediate representation (MIR), can detect certain types of undefined behavior in any Rust code it runs. We should use it when running the Kosmonaut test suite in CI. This should be as easy as:
rustup component add miri
cargo miri test
Unfortunately, Kosmonaut development and CI environments currently require nightly, and
miri
seems to often be unavailable in nightly. If/when we switch to stable, we can make this change.The text was updated successfully, but these errors were encountered: