debian/0000755000000000000000000000000012226520357007172 5ustar debian/api-sanity-checker.1.in0000644000000000000000000000035512226517672013352 0ustar [NAME] api-sanity-checker \- an automatic generator of basic unit tests for a C/C++ library API. [AUTHOR] This manual page was written by Mathieu Malaterre for the Debian GNU/Linux system (but may be used by others). debian/doc-base0000644000000000000000000000042212226517672010576 0ustar Document: api-sanity-checker Title: API Sanity Checker Author: Andrey Ponomarenko Abstract: Documentation of API Sanity Checker as HTML format Section: Programming Format: HTML Index: /usr/share/doc/api-sanity-checker/Readme.html Files: /usr/share/doc/api-sanity-checker/* debian/rules0000755000000000000000000000115612226520354010252 0ustar #!/usr/bin/make -f %: dh $@ override_dh_auto_install: mkdir -p $(CURDIR)$(DESTDIR)/debian/api-sanity-checker/usr perl Makefile.pl -install --prefix=$(CURDIR)$(DESTDIR)/debian/api-sanity-checker/usr override_dh_installchangelogs: dh_installchangelogs doc/Changes.html debian/api-sanity-checker.1: debian/api-sanity-checker.1.in # remove '.pl' from the generated man page by help2man: ln api-sanity-checker.pl api-sanity-checker help2man --help-option=--info --include=$< --output=$@ --no-info ./api-sanity-checker build: debian/api-sanity-checker.1 get-orig-source: uscan --download --force-download --rename debian/watch0000644000000000000000000000023712226517672010233 0ustar version=3 opts=filenamemangle=s/.+\/v?(.*)\.tar\.gz/api-sanity-checker-$1.tar.gz/ \ https://github.com/lvc/api-sanity-checker/tags .*/v?(\d[\d\.]+)\.tar\.gz debian/changelog0000644000000000000000000000056312226520177011050 0ustar api-sanity-checker (1.98.6-1) unstable; urgency=low * New upstream. Add support for a-c-c 1.98.2 and above * Automate man page generation -- Mathieu Malaterre Sun, 13 Oct 2013 15:30:37 +0200 api-sanity-checker (1.98.4-1) unstable; urgency=low * Initial release -- Mathieu Malaterre Tue, 11 Jun 2013 11:34:40 +0200 debian/control0000644000000000000000000000345512226520136010577 0ustar Source: api-sanity-checker Section: devel Priority: optional Build-Depends: debhelper (>= 9), abi-compliance-checker (>= 1.98.7), help2man Maintainer: Mathieu Malaterre Standards-Version: 3.9.4 Homepage: https://github.com/lvc/api-sanity-checker Vcs-Svn: svn://anonscm.debian.org/collab-maint/deb-maint/api-sanity-checker/trunk Vcs-Browser: http://anonscm.debian.org/viewvc/collab-maint/deb-maint/api-sanity-checker/trunk/ Package: api-sanity-checker Architecture: all Depends: ${perl:Depends}, ${misc:Depends}, abi-compliance-checker (>= 1.99) Suggests: doc-base Description: automatic generator of basic unit tests for a C/C++ library API. API Sanity Checker is an automatic generator of basic unit tests for a C/C++ library. It helps to quickly generate simple ("sanity" or "shallow" quality) tests for every function in an API using their signatures, data type definitions and relationships between functions straight from the library header files ("Header-Driven Generation"). Each test case contains a function call with reasonable (in most, but unfortunately not all, cases) input parameters. The quality of generated tests allows one to check absence of critical errors in simple use cases and can be greatly improved by involving of highly reusable specialized types for the library. . The tool can execute generated tests and detect crashes, aborts, all kinds of emitted signals, non-zero program return code, program hang‐ ing and requirement failures (if specified). The tool can be considered as a tool for out-of-box low-cost sanity checking of library API or as a test development framework for initial generation of templates for advanced tests. Also it supports universal Template2Code format of tests, splint specifications, random test generation mode and other useful features. debian/copyright0000644000000000000000000000177512226517672011145 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Source: https://github.com/lvc/api-sanity-checker Upstream-Name: API Sanity Checker Files: * Copyright: Copyright (C) 2009-2010 The Linux Foundation Copyright (C) 2009-2011 Institute for System Programming, RAS Copyright (C) 2011-2013 ROSA Laboratory License: GPL-2 Files: debian/* Copyright: 2013, Mathieu Malaterre License: GPL-2 License: GPL-2 This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License or the GNU Lesser General Public License as published by the Free Software Foundation. . This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. . The complete text of the GPL version 2 can be found in '/usr/share/common-licenses/GPL-2' on Debian systems. debian/api-sanity-checker.manpages0000644000000000000000000000003412226517672014372 0ustar debian/api-sanity-checker.1 debian/source/0000755000000000000000000000000012226520357010472 5ustar debian/source/format0000644000000000000000000000001412226517672011706 0ustar 3.0 (quilt) debian/docs0000644000000000000000000000000612226517672010047 0ustar doc/* debian/compat0000644000000000000000000000000212226517672010376 0ustar 9