#!/bin/bash
set -e
cd "${BASH_SOURCE%/*}"/..

cargo +nightly miri test