check-tests « tools - things-to-check - A presently-defunct web service providing troubleshooting prompts

summary refs log tree commit diff

path: root/tools/check-tests

blob: ef2a7bc98e8a4683058c13ac0dd42d4b07956b33 (plain)

#!/bin/bash -ex

# tools/check-tests
#
# Checks that the code in this project passes incorrectness checks.

cargo build --locked --all-targets
cargo test