#! /bin/sh . ../../testenv.sh synth_tb rec01 pkg_rec01.vhdl echo "Test successful"