[splint-discuss] API-sanity-autotest using splint annotations
n3npq at mac.com
Sat Mar 27 07:18:33 EST 2010
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:
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.
73 de Jeff
More information about the splint-discuss