testsuite/gna/issue45/testsuite.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#! /bin/sh

. ../../testenv.sh

GHDL_STD_FLAGS="--std=08 -fpsl"

analyze test1.vhdl
elab_simulate psl_test_endpoint --psl-report=psl.out

grep -q '"cover-pass": 3' psl.out
rm psl.out

clean

echo "Test successful"