Hypothesis equivalent for D?
James Lu
jamtlu at gmail.com
Mon Apr 12 14:19:48 UTC 2021
On Saturday, 10 April 2021 at 16:57:04 UTC, Andrei Alexandrescu
wrote:
> Defining a systematic library for that stuff would be pretty
> awesome and would cut down a lot of duplication from Phobos.
In Python, hypothesis is used with icontract, a Design-by-Contract
library. Generated testcases are discarded if they don't meet
the contract.
icontract-hypothesis also has a mode that automatically infers
hypothesis testcase generation strategy such that it always
satisfies
the contract. (!)
https://pypi.org/project/icontract-hypothesis/
More information about the Digitalmars-d
mailing list