diff options
| author | T. Meissner <programming@goodcleanfun.de> | 2019-09-19 06:30:22 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-09-19 06:30:22 +0200 |
| commit | acac3f18888c0989ae4d7d8a4fb20a90edc2a38c (patch) | |
| tree | e0d9dc9f6186f0002c8c7b4ac6cea6980577bf9a /testsuite/synth/psl01/testsuite.sh | |
| parent | 4a04f914b836c21a6d036f72846f8698d907cf43 (diff) | |
| download | ghdl-acac3f18888c0989ae4d7d8a4fb20a90edc2a38c.tar.gz ghdl-acac3f18888c0989ae4d7d8a4fb20a90edc2a38c.tar.bz2 ghdl-acac3f18888c0989ae4d7d8a4fb20a90edc2a38c.zip | |
synth: Add support for PSL cover directive (#930)
* synth: Add support for PSL cover directive
* testsuite/synth: Add tests for PSL cover directives
Diffstat (limited to 'testsuite/synth/psl01/testsuite.sh')
| -rwxr-xr-x | testsuite/synth/psl01/testsuite.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |