#!/bin/bash

./reg-test/run -v "$@"
