#! /bin/bash

exec $(dirname $0)/easycrypt runtest "$@"
