Merge pull request #9365 from ethereum/fixProofScript

Proof script should only run on existing files.
This commit is contained in:
chriseth 2020-07-08 23:58:17 +02:00 committed by GitHub
commit 8548bf1b4c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,16 +10,18 @@ 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 [ -e "$new_proof" ]; then
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
if [[ "$result" != 0 ]]
then
echo "Proof $(basename "$new_proof" ".py") failed: $output."
error=1
fi
fi
done