1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
#!/bin/bash export MIRIFLAGS="-Zmiri-disable-isolation ${MIRIFLAGS:-}" run() { $1 --no-default-features && $1 --no-default-features --features async && $1 && $1 --features async } echo "Running tests..." && run "cargo +nightly miri nextest run" && echo "Running example simple..." && run "cargo +nightly miri run --example simple" && echo "Running uninit_items..." && run "cargo +nightly miri run --example uninit_items" && cargo +nightly miri run --example simple_async --features async