testsuite/gna/bug09/testsuite.sh


1
2
3
4
5
6
7
8
9
10
11
12
13

#! /bin/sh

. ../../testenv.sh

analyze univ1.vhdl
elab_simulate_failure univ1 || echo "overflow not detected!"

analyze univ2.vhdl
elab_simulate univ2

clean

echo "Test successful"