On 6 Jul 2010, n3...@mac.com wrote:
On Jul 6, 2010, at 5:01 PM, Skye Sweeney wrote:
>> I am looking for an annotated header file for sqlite3. If someone has done
>> this work already I would love to piggyback on your sweat. If not, I
>> will be working on this and could post it back to the group.
> I likely did splint annotations for sqlite3 4-5 years ago.
> You can likely find in a top level check-out from
> cvs -d :ext:rpm-...@rpm5.org:/v/rpm/cvs get sqlite
> Lemme look ... yeah there's a top-level module called "sqlite" still.
> Please note "... 4-5 years ago ..." These days I use the sqlite3 in db-5.0.21.
I tried this. There is a '.splintrc' file for processing the 'sqlite' project,
but there are no annotations that I can discern in this project.
bprin...@pvr:/home/src/sqlite$ cat CVS/Root
:pserver:anonym...@rpm5.org:/v/rpm/cvs
Is this the correct project?
Thanks,
Bill Pringlemeir.
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
