On Jul 9, 2010, at 9:26 AM, Jeff Johnson wrote:
>>
>> Is this the correct project?
>>
>
I have a check-out from sourceforge cvs installed in order to
re-annotate sqlite3.h API.
Is there an example for how you are intending to include
additional API's like sqlite3 in splint?
Off hand, I don't see additional API modules in
/usr/share/splint/{imports,lib}/*
(my guess, perhaps wrong, at how you are intending to include additional
annotated
API's).
What am I missing? Any example of the annotation style you wish in splint
will assist me. I can likely read an annotation example faster than
any other description of what you want.
73 de Jeff
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
