From cb7f96e5c165df6d1139fa4893b72aef1bc90296 Mon Sep 17 00:00:00 2001 From: mo-hosni Date: Thu, 21 Mar 2024 21:25:45 +0200 Subject: [PATCH] add linting to `openlane/caravel_core/config.json` --- openlane/caravel_core/config.json | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/openlane/caravel_core/config.json b/openlane/caravel_core/config.json index ef33e1a2..e46e47ce 100644 --- a/openlane/caravel_core/config.json +++ b/openlane/caravel_core/config.json @@ -2,6 +2,10 @@ "meta": { "version": 2, "flow": [ + "Verilator.Lint", + "Checker.LintTimingConstructs", + "Checker.LintErrors", + "Checker.LintWarnings", "Yosys.JsonHeader", "Yosys.Synthesis", "OpenROAD.CheckSDCFiles",