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