diff options
author | Ondrej Ille <ondrej.ille@gmail.com> | 2021-03-22 22:37:10 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-03-23 18:46:14 +0100 |
commit | 9f7967947a41f00fd50645d150871ae1d07ac79d (patch) | |
tree | dfb569f4fa6986acb9d51116370da6e32b44d642 /src/synth/netlists-disp_vhdl.adb | |
parent | 420a1d3efb96b69a32afae1fefe0228700cdb14f (diff) | |
download | ghdl-9f7967947a41f00fd50645d150871ae1d07ac79d.tar.gz ghdl-9f7967947a41f00fd50645d150871ae1d07ac79d.tar.bz2 ghdl-9f7967947a41f00fd50645d150871ae1d07ac79d.zip |
doc: Add --psl-report-uncovered documentation option.
Diffstat (limited to 'src/synth/netlists-disp_vhdl.adb')
0 files changed, 0 insertions, 0 deletions