diff options
Diffstat (limited to 'test')
| -rwxr-xr-x | test/coq/run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/coq/run_tests.sh b/test/coq/run_tests.sh index 2be5e535..5a723a06 100755 --- a/test/coq/run_tests.sh +++ b/test/coq/run_tests.sh @@ -5,7 +5,7 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" SAILDIR="$DIR/../.." TYPECHECKTESTSDIR="$DIR/../typecheck/pass" EXTRATESTSDIR="$DIR/pass" -BBVDIR="$DIR/../../../bbv" +BBVDIR="$DIR/../../../bbv/theories" RED='\033[0;31m' GREEN='\033[0;32m' |