aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/psl02/testsuite.sh
blob: 76b8c58ebc3dfd4065b1afd2c82d07dbb00668dc (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
#! /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

echo "Test successful"