#! /bin/bash

exec $(dirname $0)/verify/run-tests "$@"