diff options
Diffstat (limited to '.run_formal_checks.sh')
| -rwxr-xr-x[-rw-r--r--] | .run_formal_checks.sh | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/.run_formal_checks.sh b/.run_formal_checks.sh index f3b72a67..ace9e4b0 100644..100755 --- a/.run_formal_checks.sh +++ b/.run_formal_checks.sh @@ -1,4 +1,13 @@ +#!/usr/bin/env bash set -e + +if [ $# -ne 1 ]; then + echo "There must be exactly one argument!" + exit -1 +fi + +DUT=$1 + # Run formal check only for PRs if [ $TRAVIS_PULL_REQUEST = "false" ]; then echo "Not a pull request, no formal check" @@ -13,5 +22,6 @@ else git remote set-branches origin $TRAVIS_BRANCH && git fetch git checkout $TRAVIS_BRANCH git checkout - - bash ./scripts/formal_equiv.sh HEAD $TRAVIS_BRANCH + cp regress/$DUT.fir $DUT.fir + ./scripts/formal_equiv.sh HEAD $TRAVIS_BRANCH $DUT fi |