aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/psl02/testsuite.sh
blob: a45a0e0ffdd8c3b8c28dbf2713da858cff766611 (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
26
27
28
29
30
31
32
33
34
35
#! /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

synth assert2.vhdl verif4.vhdl -e assert2 > syn_assert24.vhdl
analyze syn_assert23.vhdl

clean

synth assert2.vhdl verif5.vhdl -e assert2 > syn_assert25.vhdl
analyze syn_assert25.vhdl

clean

echo "Test successful"