Commentary (#4175)

This commit is contained in:
Wilson Snyder 2023-05-07 08:36:03 -04:00
parent e6f5a0495f
commit c2a524d80b

View File

@ -1467,8 +1467,11 @@ Summary:
them systematically.
The generated file is in the Verilator Configuration format, see
:ref:`Configuration Files`, and can directly be consumed by
Verilator. The standard file extension is ".vlt".
:ref:`Configuration Files`. The standard file extension is ".vlt".
These files can directly be consumed by Verilator, typically by placing
the filename as part of the Verilator command line options. Waiver files
need to be listed on the command line before listing the files they are
waiving.
.. option:: -Wall