#! /bin/sh . ../../testenv.sh GHDL_STD_FLAGS=-fsynopsys synth_only bug echo "Test successful"