#! /bin/sh . ../../testenv.sh #analyze repro.vhdl #analyze_failure repro.vhdl clean echo "Test successful"