From e6779ba52b41c3e6551ae95a137c543abc91a4f6 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 6 Aug 2019 15:16:06 +0200 Subject: Disable verilator warnings, fixes #128 Signed-off-by: Clifford Wolf --- picorv32.v | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/picorv32.v b/picorv32.v index dc041c7..62e7770 100644 --- a/picorv32.v +++ b/picorv32.v @@ -17,6 +17,11 @@ * */ +/* verilator lint_off WIDTH */ +/* verilator lint_off PINMISSING */ +/* verilator lint_off CASEOVERLAP */ +/* verilator lint_off CASEINCOMPLETE */ + `timescale 1 ns / 1 ps // `default_nettype none // `define DEBUGNETS -- cgit