solidity/scripts/run_proofs.sh

33 lines
455 B
Bash
Raw Normal View History

2019-06-19 17:25:05 +00:00
#!/usr/bin/env bash
set -e
(
2019-06-19 17:25:05 +00:00
REPO_ROOT="$(dirname "$0")"/..
cd "$REPO_ROOT"
2019-06-19 17:25:05 +00:00
git fetch origin
error=0
for new_proof in $(git diff origin/develop --name-only test/formal/)
2019-06-19 17:25:05 +00:00
do
set +e
echo "Proving $new_proof..."
output=$(python "$new_proof")
2019-06-19 17:25:05 +00:00
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
)