[splint-discuss] API-sanity-autotest using splint annotations

[Jeff Johnson]

The latest Api-sanity-autotest.pl 1.7 release now includes
a -splint-specs option that can use some splint annotations
to generate unit tests.

Details of API-sanity-autotest are available here:

    http://ispras.linuxfoundation.org/index.php/API_Sanity_Autotest

As unit test harnesses go (IMHO), api-sanity-autotest.pl is quite simple
to use for "shallow" testing (i.e. call every routine in an API
with (reasonable in most, but not all, cases) inputs. And there
is markup to write "specialized types" for better test generation.

FYI

73 de Jeff