luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Commentary: Text formatting fix (#6863)

This commit is contained in:
Iztok Jeras 2025-12-26 01:01:38 +01:00 committed by GitHub
parent 397e64903c
commit 6a07595a44
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/guide/exe_verilator.rst
View File

@ -1737,7 +1737,7 @@ Summary:
.. option:: --trace-coverage
With `--trace-*` and ``--coverage-*``, enable tracing to include a
With ``--trace-*`` and ``--coverage-*``, enable tracing to include a
traced signal for every :vlopt:`--coverage-line` or
:vlopt:`--coverage-user`\ -inserted coverage point, to assist in
debugging coverage items. Note :vlopt:`--coverage-toggle` does not get