#910296 ITP: libtheft -- property-based testing for C

Package:
wnpp
Source:
wnpp
Submitter:
Richard Ipsum
Date:
2025-11-29 16:42:00 UTC
Severity:
wishlist
#910296#5
Date:
2018-10-04 14:28:50 UTC
From:
To:
* Package name    : libtheft-dev
  Version         : 0.4.3
  Upstream Author : Scott Vokes <vokes.s@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.
#910296#10
Date:
2018-10-10 13:31:19 UTC
From:
To:
#910296#15
Date:
2018-10-10 13:44:31 UTC
From:
To: