testsuite/gna/issue1690/testsuite.sh


1
2
3
4
5
6
7
8
9
10
11

#! /bin/sh

. ../../testenv.sh

export GHDL_STD_FLAGS='--std=08 -fpsl'
analyze top.vhd
elab_simulate tb_top --psl-report-uncovered

clean

echo "Test successful"