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

. ../../testenv.sh

GHDL_STD_FLAGS=--std=08

synth assert1.vhdl -e assert1 > syn_assert1.vhdl
analyze syn_assert1.vhdl

synth assert2.vhdl verif1.vhdl -e assert2 > syn_assert21.vhdl
analyze syn_assert21.vhdl

clean

synth assert2.vhdl verif2.vhdl -e assert2 > syn_assert22.vhdl
analyze syn_assert22.vhdl

clean

synth assert2.vhdl verif3.vhdl -e assert2 > syn_assert23.vhdl
analyze syn_assert23.vhdl

clean

echo "Test successful"