[lint] Provision syntax error filter for Verible lint
Signed-off-by: Michael Schaffner <msf@opentitan.org>
diff --git a/hw/lint/tools/ascentlint/parse-lint-report.py b/hw/lint/tools/ascentlint/parse-lint-report.py
index 1c0080e..9ab1edf 100755
--- a/hw/lint/tools/ascentlint/parse-lint-report.py
+++ b/hw/lint/tools/ascentlint/parse-lint-report.py
@@ -113,7 +113,7 @@
# Pass/fail status is determined in the LintCfg class.
log.info(("Found %d flow warnings, %d flow errors, %d lint infos,\n"
- "%d lint warnings and %d lint errors."),
+ "%d lint warnings and %d lint errors."),
len(results["warnings"]),
len(results["errors"]),
len(results["lint_infos"]),
diff --git a/hw/lint/tools/veriblelint/parse-lint-report.py b/hw/lint/tools/veriblelint/parse-lint-report.py
index fc9809b..fa7ec9a 100755
--- a/hw/lint/tools/veriblelint/parse-lint-report.py
+++ b/hw/lint/tools/veriblelint/parse-lint-report.py
@@ -53,6 +53,10 @@
("errors", r"^Error: .*"),
("errors", r"^E .*"),
("errors", r"^F .*"),
+ # TODO(https://github.com/google/verible/issues/652): uncomment
+ # this regex once the endproperty and first_match keywords are supported
+ # in the Verible style linter.
+ #("errors", r".*: syntax error, rejected.*"),
# TODO(https://github.com/olofk/edalize/issues/90):
# this is a workaround until we actually have native Edalize
# support for JasperGold and "formal" targets
@@ -115,7 +119,7 @@
# Pass/fail status is determined in the LintCfg class.
log.info(("Found %d flow warnings, %d flow errors, %d lint infos,\n"
- "%d lint warnings and %d lint errors."),
+ "%d lint warnings and %d lint errors."),
len(results["warnings"]),
len(results["errors"]),
len(results["lint_infos"]),
diff --git a/hw/lint/tools/verilator/parse-lint-report.py b/hw/lint/tools/verilator/parse-lint-report.py
index c9711dc..81a0cfb 100755
--- a/hw/lint/tools/verilator/parse-lint-report.py
+++ b/hw/lint/tools/verilator/parse-lint-report.py
@@ -117,7 +117,7 @@
# Pass/fail status is determined in the LintCfg class.
log.info(("Found %d flow warnings, %d flow errors, %d lint infos,\n"
- "%d lint warnings and %d lint errors."),
+ "%d lint warnings and %d lint errors."),
len(results["warnings"]),
len(results["errors"]),
len(results["lint_infos"]),
