blob: fe19e38c6b8dedfe91c76deee1cf3ceb316c05e8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#! /bin/sh
. ../../testenv.sh
GHDL_STD_FLAGS=--std=08
for f in restrict1 restrict2 assume1 assume2 assert1 cover1 cover2; do
synth -fpsl $f.vhdl -e $f > syn_$f.vhdl
analyze syn_$f.vhdl
done
synth_failure cover3.vhdl -e cover3
clean
echo "Test successful"
|
