1 2 3 4 5 6 7 8
#!/usr/bin/env bash set -e DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" cd $DIR/.. ./test/typecheck/run_tests.sh ./test/ocaml/run_tests.sh