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