#!/bin/bash

export MIRIFLAGS="-Zmiri-disable-isolation ${MIRIFLAGS:-}"

cargo +nightly miri test &&
cargo +nightly miri run --example concurrent
