Formal cleanup #273
marnovandermaasAnnotations
1 error and 2 warnings
|
verible-lint
Process completed with exit code 1.
|
|
verible-lint:
dv/formal/check/peek/follower.sv#L52
[verible-verilog-lint] reported by reviewdog 🐶
Line length exceeds max: 100; is: 110 [Style: line-length] [line-length]
Raw Output:
message:"Line length exceeds max: 100; is: 110 [Style: line-length] [line-length]" location:{path:"./dv/formal/check/peek/follower.sv" range:{start:{line:52 column:101}}} severity:WARNING source:{name:"verible-verilog-lint" url:"https://github.com/chipsalliance/verible"}
|
|
verible-lint:
dv/formal/check/spec_instance.sv#L25
[verible-verilog-lint] reported by reviewdog 🐶
Use named ports for module instantiation with more than one port [Style: module-instantiation] [module-port]
Raw Output:
message:"Use named ports for module instantiation with more than one port [Style: module-instantiation] [module-port]" location:{path:"./dv/formal/check/spec_instance.sv" range:{start:{line:25 column:5}}} severity:WARNING source:{name:"verible-verilog-lint" url:"https://github.com/chipsalliance/verible"}
|