test/run_tests.sh


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