#!/bin/bash

cd ..

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