Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!newsfeed.straub-nv.de!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.python
Subject: Re: Hypothesis 1.0: A production quality property-based testing library for Python
Date: Mon, 30 Mar 2015 17:51:55 -0700
Organization: A noiseless patient Spider
Lines: 7
Message-ID: <87k2xyq990.fsf@jester.gateway.pace.com>
References: <mailman.346.1427743391.10327.python-list@python.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org; posting-host="c694756f1077760bb5296aae16c74092"; logging-data="6345"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19oig9lJskV+uSpsYzyK+G3"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:2D4TebUYy00p6Qpyezsah5xE580= sha1:uvB9i2GQaBudx4rr/gV3WSAlZCQ=
Xref: csiph.com comp.lang.python:88358

David MacIver <david@drmaciver.com> writes:
> Hypothesis is based on Quickcheck
> (https://wiki.haskell.org/Introduction_to_QuickCheck2)

This is great.  Have you looked at the Erlang version of Quickcheck?  It
may have aspects more directly applicable to Python, since Erlang is
dynamically typed like Python is.