#! /bin/sh

. ../../testenv.sh

if ! "$GHDL" --dir ieee | grep -q vital; then
  echo "No vital libraries, skipping"
  exit 0
fi

"$GHDL" -i lib_numeric_tb.vhd
"$GHDL" -m numeric_tb
simulate numeric_tb --stop-time=10ns --wave=numeric_tb.ghw \
 --sdf=typ==lib_numeric_tb.sdf

clean
rm numeric_tb.ghw

echo "Test successful"