From ed452aff5f65aa868be5fafb0cb31bb30abe707c Mon Sep 17 00:00:00 2001 From: ushakya22 Date: Mon, 21 Feb 2022 16:05:43 +0000 Subject: [PATCH] verilator lint for srt --- pipelined/srt/lint-srt | 1 + 1 file changed, 1 insertion(+) diff --git a/pipelined/srt/lint-srt b/pipelined/srt/lint-srt index 399201be..8fba602e 100755 --- a/pipelined/srt/lint-srt +++ b/pipelined/srt/lint-srt @@ -1 +1,2 @@ verilator --lint-only --top-module srt srt.sv -I../config/rv64gc -I../config/shared ../src/generic/*.sv ../src/generic/flop/*.sv +verilator --lint-only --top-module testbench testbench.sv -I../config/rv64gc -I../config/shared ../src/generic/*.sv ../src/generic/flop/*.sv ../src/fpu/unpacking.sv