diff options
| author | Ondrej Ille <ondrej.ille@gmail.com> | 2021-03-21 11:13:08 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-03-22 08:26:02 +0100 |
| commit | 940ee47a667d4d10a0f6f01795e07714ceb76104 (patch) | |
| tree | 954f5e8bd7987a592621a279e58128f54b4af8b0 | |
| parent | c5f28f50a0b8f796f7f1775342c5922851168459 (diff) | |
| download | ghdl-940ee47a667d4d10a0f6f01795e07714ceb76104.tar.gz ghdl-940ee47a667d4d10a0f6f01795e07714ceb76104.tar.bz2 ghdl-940ee47a667d4d10a0f6f01795e07714ceb76104.zip | |
testsuite/gna: Adjust issue1690 test to work with --psl-report-uncovered.
| -rw-r--r-- | testsuite/gna/issue1690/testsuite.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/gna/issue1690/testsuite.sh b/testsuite/gna/issue1690/testsuite.sh index cf12c78ea..20527de67 100644 --- a/testsuite/gna/issue1690/testsuite.sh +++ b/testsuite/gna/issue1690/testsuite.sh @@ -2,9 +2,9 @@ . ../../testenv.sh -export GHDL_STD_FLAGS='-Wpsl-uncovered --std=08 -fpsl' +export GHDL_STD_FLAGS='--std=08 -fpsl' analyze top.vhd -elab_simulate tb_top +elab_simulate tb_top --psl-report-uncovered clean |