#!/bin/bash

MIRIFLAGS="-Zmiri-disable-isolation ${MIRIFLAGS:-}"\
    cargo +nightly miri test