#!/usr/bin/env sh
set -eu

cargo fmt --check
cargo clippy --workspace --all-targets -- -D warnings
cargo test --workspace --locked

printf '%s\n' "ASR verification passed."