Lint Waivers

Waivers are used to hide, demote or promote linting failures.

Pre-waivers are used to exclude from linting, parts of the code by the path or by the element types (modules, interfaces, …) contained in the files. They are useful for excluding 3rd party IPs or libraries included in the compilation and will reduce the total linting time without affecting the correctness of the results in the non-waived code. Pre-waivers can also be added on a per-check basis inside the Ruleset File Syntax (XML).

Waivers and pre-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.

Note

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

• Lint Waivers File Syntax (XML)
• Lint Waivers File Example
• Lint Waivers GUI
• Inline Lint Waivers
  • UVMF Custom Pragma Waivers