|
Message
From: Miha Lampret<mihal@o...>
Date: Fri Apr 16 21:06:57 CEST 2004
Subject: [oc] New Lint
I will check why report is incomplete. About checking other files. I don't know verilog so I can't give you an exact answer but as I know all the source code is checked because files depends on each other. I will let you know when I fix this.
regards, Miha
bporcella wrote:
> All: > > > I recently checked in my project -- mostly to test the new lint. > The files I checked in are not complete - only 2 actually compile > without errors, but > one must suppose those could be linted. > > General Issues: > 1) The file I checked in (comitted to be precise) was not linted - > it appears. > 2) The e-mail report listed many errors (on files i did not want > checked), but gave no useful detail.. > 3) The link to obtain more information from Novas Software points to > a product brief page -- not exactly what I was looking for. > 4) Users Manual is available for download - but only if you have the > host id for the license server --- i.e. It does not appear to be > available > to me. > > In addition I have been rather suprised that there have been NO > complaints about the system -- In my experience NOBODY uses a lint > for the first time without complaining. Has anyone actully used lint > successfully ?? > > In any case -- the output I got from lint (after committing a file > called memstate2.v - which I wished to lint) is copied below in case > anyone can > give me hints on how to proceed. > > > bj Porcella > http://pages.sbcglobal.net/bporcella/ >
|
 |