Package: wnpp Severity: wishlist Owner: Richard Ipsum <richardip...@fastmail.co.uk>
* Package name : libtheft-dev Version : 0.4.3 Upstream Author : Scott Vokes <voke...@gmail.com> * URL : https://github.com/silentbicycle/theft/ * License : ISC Programming Lang: C Description : property-based testing for C theft is a C library for property-based testing. Where example-based testing checks test results for specific input, theft tests assert general properties ("for any possible input, [some condition] should hold"), generate input, and search for counter-examples that make the test fail. If theft finds any failures, it also knows how to generate and test simpler variants of the input, and then report the simplest counter-example found. This package is useful as it provides Haskell-like quickcheck functionality for C programs.