solidity/scripts/run_proofs.sh
2020-01-15 14:20:43 +01:00

33 lines
456 B
Bash
Executable File

#!/usr/bin/env bash
set -e
(
REPO_ROOT="$(dirname "$0")"/..
cd "$REPO_ROOT"
git fetch origin
error=0
for new_proof in $(git diff origin/develop --name-only test/formal/)
do
set +e
echo "Proving $new_proof..."
output=$(python3 "$new_proof")
result=$?
set -e
if [[ "$result" != 0 ]]
then
echo "Proof $(basename "$new_proof" ".py") failed: $output."
error=1
fi
done
if [[ "error" -eq 0 ]]
then
echo "All proofs succeeded."
fi
exit $error
)