aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue2125/testsuite.sh
blob: 27230d8fffbb3b779aff2dacf1fbbc8df76d977b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#! /bin/sh

. ../../testenv.sh

# TODO: reuse synth_tb, but we need to pass --latches

analyze afed.vhdl tb_afed.vhdl
elab_simulate tb_afed
clean

synth --latches afed.vhdl -e > syn_afed.vhdl
analyze syn_afed.vhdl tb_afed.vhdl
elab_simulate tb_afed --ieee-asserts=disable-at-0 --assert-level=error
clean

echo "Test successful"