See run_tests.sh for documentation