cerc-io/solidity
15
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

Fix run_proofs script to actually run proofs

Browse Source
This commit is contained in:
Leonardo Alt 2019-06-20 13:49:24 +02:00
parent c71fb76bb2
commit c3ccce9745
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
scripts/run_proofs.sh
View File

@ -2,15 +2,17 @@
set -e set -e
(
REPO_ROOT="$(dirname "$0")"/.. REPO_ROOT="$(dirname "$0")"/..
cd "$REPO_ROOT"
git fetch origin git fetch origin
error=0 error=0
for new_proof in $(git diff develop --name-only $REPO_ROOT/test/formal/) for new_proof in $(git diff origin/develop --name-only test/formal/)
do do
set +e set +e
echo "Proving $new_proof..." echo "Proving $new_proof..."
output=$(python "$REPO_ROOT/$new_proof") output=$(python "$new_proof")
result=$? result=$?
set -e set -e
@ -27,3 +29,4 @@ then
fi fi
exit $error exit $error
)