Revision control

Copy as Markdown

Other Tools

#!/bin/sh↩
echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"↩
rustup set profile minimal↩
rustup default "$MIRI_NIGHTLY"↩
rustup component add miri↩
cargo miri setup↩
cargo miri test -- -- -Zunstable-options --exclude-should-panic↩