#!/bin/bash

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