#!/bin/bash
# Copyright 2021 Ian Jackson and contributors
# SPDX-License-Identifier: GPL-3.0-or-later
# There is NO WARRANTY.

# This is the top-level testing script.  Run it as:
#   ./check-all

set -e
. ${0%/*}/common.sh

x argument/check
x argument/check-equiv

run_cargo_lf +1.63          test --workspace
run_cargo    +nightly  miri test --workspace -- --nocapture
run_cargo    +nightly  miri run --bin skeletons

echo 'all checks passed.'