#!/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.'