Verissimo SystemVerilog Testbench Linter User Guide
Rev. 18.1.32, 12 October 2018

Chapter 8. Lint Waivers

Lint waivers are used to demote or promote linting hits or to exclude known linting hits from the report.

Lint waivers can be created using Lint Waivers Editor from the graphical interface or by manually editing a waivers.xml file. Also, inline waivers are supported, by surrounding the part of the code with comments containing a pragma that defines the waiver properties or by adding a single pragma on a specific line.

Note:

For editing waivers file it is recommended to use the Lint Waivers Editor.

Hits inside macros are not waived unless the waiver covers the code lines where the macro is used.