1 2 3 4 5 6
#!/bin/bash export MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-no-extra-rounding-error ${MIRIFLAGS:-}" cargo +nightly miri test && cargo +nightly miri run --example concurrent