Formal cleanup #274
Annotations
1 error and 1 warning
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"}
|