#!/usr/bin/env sh

set -eu

cd "$(CDPATH= cd -- "$(dirname -- "$0")" && pwd -P)"/..

cargo +stable hack nextest run \
    --version-range .. \
    --feature-powerset --exclude-features default \
    --show-progress only --no-input-handler \
    --frozen \
    --cargo-quiet --no-tests pass -E 'not test(/\bui\b/)'

cargo +stable hack test \
    --version-range .. \
    --feature-powerset --exclude-features default \
    --frozen \
    --doc --quiet

cargo +nightly hack miri nextest run \
    --feature-powerset --exclude-features default \
    --show-progress only --no-input-handler \
    --frozen \
    --cargo-quiet --no-tests pass

cargo +nightly hack test \
    --feature-powerset --exclude-features default \
    --frozen \
    --quiet -- ui

cargo +nightly hack miri test \
    --feature-powerset --exclude-features default \
    --frozen \
    --doc --quiet