aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue1414/testsuite.sh
blob: dae071911cf0a4c364b48448b82c8b739ac5deba (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
#! /bin/sh

. ../../testenv.sh

synth -fpsl --no-assert-cover cover_overlap_misparse.vhdl -e > syn_nocover.vhdl
! grep -q cover syn_nocover.vhdl

synth -fpsl cover_overlap_misparse.vhdl -e > syn_cover.vhdl
grep -q cover syn_cover.vhdl

clean

echo "Test successful"