#!/bin/bash
exec bash ../tools/autotest.sh -G *.v