From acac3f18888c0989ae4d7d8a4fb20a90edc2a38c Mon Sep 17 00:00:00 2001 From: "T. Meissner" Date: Thu, 19 Sep 2019 06:30:22 +0200 Subject: synth: Add support for PSL cover directive (#930) * synth: Add support for PSL cover directive * testsuite/synth: Add tests for PSL cover directives --- testsuite/synth/psl01/testsuite.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testsuite/synth/psl01/testsuite.sh') diff --git a/testsuite/synth/psl01/testsuite.sh b/testsuite/synth/psl01/testsuite.sh index 7fd87887f..7707566f7 100755 --- a/testsuite/synth/psl01/testsuite.sh +++ b/testsuite/synth/psl01/testsuite.sh @@ -4,7 +4,7 @@ GHDL_STD_FLAGS=--std=08 -for f in restrict1 restrict2 assume1 assume2 assert1; do +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 -- cgit v1.2.3