diff options
| author | Brian Campbell | 2018-05-24 14:31:47 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-24 16:10:48 +0100 |
| commit | e7f79852533eeca59947a20ea63f1058c390bde3 (patch) | |
| tree | 54496ac67f76aca45bdc06ba795577c20b0342fa /test | |
| parent | 5145c143cfd69617ac72932c4cf44c0d9de9d6df (diff) | |
Import (rather hacky) Coq Sail libraries
Diffstat (limited to 'test')
| -rwxr-xr-x | test/coq/run_tests.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/coq/run_tests.sh b/test/coq/run_tests.sh index efca8275..a9c6ab24 100755 --- a/test/coq/run_tests.sh +++ b/test/coq/run_tests.sh @@ -4,6 +4,7 @@ set -e DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" SAILDIR="$DIR/../.." TESTSDIR="$DIR/../typecheck/pass" +BBVDIR="$DIR/../../../bbv" RED='\033[0;31m' GREEN='\033[0;32m' @@ -52,7 +53,7 @@ for i in `ls $TESTSDIR/ | grep sail | grep -vf "$DIR/skip"`; do if $SAILDIR/sail -coq -o out $TESTSDIR/$i &>/dev/null; then - if coqc -R ~/bbv bbv -R ../../../sail-private/coq-duopods/precise/lib Sail out_types.v out.v &>/dev/null; + if coqc -R "$BBVDIR" bbv -R "$SAILDIR/lib/coq" Sail out_types.v out.v &>/dev/null; then green "tested $i expecting pass" "pass" else |