thingbuf/bin/miri

#!/usr/bin/env bash
#
# Runs `miri` tests
set -euo pipefail
set -x

cd "$(dirname "$0")"/..

MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-tag-raw-pointers ${MIRIFLAGS:-}" \
    cargo +nightly miri test --lib "${@}"