11 lines
501 B
Bash
Executable file
11 lines
501 B
Bash
Executable file
#!/usr/bin/env bash
|
|
set -e
|
|
|
|
if ! command -v miri >/dev/null; then
|
|
printf 'ERROR: missing miri (try `nix develop .#devShells.x86_64-linux.miri`)\n' 1>&2
|
|
exit 2
|
|
fi
|
|
|
|
# TODO this should be in a config file (by profile, maybe not in released software?), not in environment; also want stabilized <https://github.com/rust-lang/rust/issues/106764> #dev #waiting #ecosystem/rust #severity/low #urgency/low
|
|
export RUSTFLAGS="${RUSTFLAGS:+$RUSTFLAGS }-Zrandomize-layout"
|
|
exec cargo miri nextest run "$@"
|