#! /bin/sh . ../../testenv.sh synth --out=verilog bug.vhdl -e > syn_bug.v if grep abs syn_bug.v; then exit 1 fi echo "Test successful"