Verissimo SystemVerilog Testbench Linter User Guide
Rev. 22.1.36, 22 November 2022
When running Verissimo in batch mode if there are any errors reported during compilation, linting will not proceed.
However linting can be executed if the ignore_compile_errors argument is used, but no compilation problems will be printed out.
In order to have both compilation problems and linting problems reported, add the following rules to your ruleset: SYNTACTIC_PROBLEM, SEMANTIC_PROBLEM and NON_STANDARD.
These rules can be configured to show either all compilation problems, or to report if there are any compilation problems by setting the parameter showFailureDetails to true or false.
It is also possible to select which type of problems to show by using the parameter show whose value can be any combination of the following: ERROR, WARNING, INFO, DISABLED.
The number of problems reported by these rules can be configured using the parameter maxNofHits.
The hits reported by these rules can be waived using lint waivers.
Example - Ruleset with compilation rules configured with the default values of the parameters
<?xml version="1.0" encoding="UTF-8" standalone="no"?>