aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue1080/testsuite.sh
blob: 06c7b7061d9dd7942ec6b0d300056e337ebab530 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#! /bin/sh

. ../../testenv.sh

for t in repro repro2 repro2_1 repro3 repro4; do
    synth $t.vhdl -e $t > syn_$t.vhdl
    analyze syn_$t.vhdl
    clean
done

for t in repro3_1; do
    analyze $t.vhdl tb_$t.vhdl
    elab_simulate tb_$t
    clean

    synth $t.vhdl -e $t > syn_$t.vhdl
    analyze syn_$t.vhdl tb_$t.vhdl
    elab_simulate tb_$t --ieee-asserts=disable-at-0
    clean
done

echo "Test successful"