cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Run proof script only on existing files.

Browse Source
This commit is contained in:
Daniel Kirchner 2020-07-08 22:57:36 +02:00
parent f3e100a000
commit fe5bcf759e
1 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/run_proofs.sh
View File

@ -10,6 +10,7 @@ git fetch origin
error=0 error=0
for new_proof in $(git diff origin/develop --name-only test/formal/) for new_proof in $(git diff origin/develop --name-only test/formal/)
do do
if [ -e "$new_proof" ]; then
set +e set +e
echo "Proving $new_proof..." echo "Proving $new_proof..."
output=$(python3 "$new_proof") output=$(python3 "$new_proof")
@ -21,6 +22,7 @@ do
echo "Proof $(basename "$new_proof" ".py") failed: $output." echo "Proof $(basename "$new_proof" ".py") failed: $output."
error=1 error=1
fi fi
fi
done done
if [[ "error" -eq 0 ]] if [[ "error" -eq 0 ]]