Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!goblin2!goblin.stu.neva.ru!newsfeed.xs4all.nl!newsfeed2.news.xs4all.nl!xs4all!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail Return-Path: X-Original-To: Python-list@python.org Delivered-To: python-list@mail.python.org X-Spam-Status: OK 0.011 X-Spam-Evidence: '*H*': 0.98; '*S*': 0.00; 'api.': 0.05; 'subject:Python': 0.06; 'naturally': 0.09; 'tests,': 0.09; 'api': 0.11; 'python': 0.11; 'finds': 0.16; 'libraries.': 0.16; 'pythonic': 0.16; 'subject: \n ': 0.16; 'subject:1.0': 0.16; 'subject:based': 0.16; 'subject:library': 0.16; 'wider': 0.16; 'sender:addr:gmail.com': 0.17; 'code.': 0.18; 'library': 0.18; 'examples': 0.20; 'tests': 0.22; 'documented': 0.24; 'integrate': 0.24; 'skip': 0.24; 'testing': 0.29; 'message-id:@mail.gmail.com': 0.30; 'gives': 0.31; 'url:wiki': 0.31; 'usually': 0.31; 'from:addr:david': 0.31; 'probably': 0.32; 'actively': 0.33; 'bugs': 0.33; 'cases': 0.33; 'but': 0.35; 'received:google.com': 0.35; 'edge': 0.36; 'url:org': 0.36; 'unit': 0.37; 'stable': 0.38; 'to:addr:python-list': 0.38; 'rather': 0.38; 'does': 0.39; 'extremely': 0.39; 'to:addr:python.org': 0.39; 'release': 0.40; 'read': 0.60; 'easy': 0.60; 'full': 0.61; 'range': 0.61; 'simple': 0.61; 'more': 0.64; 'started.': 0.68; 'guide:': 0.84; 'hypothesis': 0.84; 'url:latest': 0.91 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to:content-type; bh=uGf5eQig3eGuUgbhQSIy9wyQhi6Qjd8xLnf+wv0uR28=; b=JSOOGUY5NSqMlB37zdj/HC0ASRlPIFnbh1K16LsqFafiZxF9htT/HCmCj+fZKQjdEm 6HdenbvOyqEDzqmO84m/38xD1/OTBWu2oeu84ZhEnvWuM30EOIQgy7GNgZc9P4xcVUIb l9T+1xl6E+nPsF1C2DEeURcComG8m0UWVka1HXqsLfzoYUnRYzLEpN9pneoxz6nCFE9N TJMjIkI4mTKVQ/+veyCWQlZWwLrt7TlmRKcr3Hyg7oFELItC8mXzWUk3UkmZdZEQuWy/ RVdObaW4OG9kL8NmJ4p38jbWBb4Xh+T7ZqFK2SsUuzVonr/XwJU9ctVXOAGOBbf7OAEv yeWQ== X-Received: by 10.60.123.100 with SMTP id lz4mr26886629oeb.86.1427741111976; Mon, 30 Mar 2015 11:45:11 -0700 (PDT) MIME-Version: 1.0 Sender: david.maciver@gmail.com From: David MacIver Date: Mon, 30 Mar 2015 20:44:51 +0200 X-Google-Sender-Auth: Sgn0z_3qRiTXokG9JfszJ3pVuAY Subject: Hypothesis 1.0: A production quality property-based testing library for Python To: Python-list@python.org Content-Type: multipart/alternative; boundary=047d7b5d3972cf87ec051285e161 X-Mailman-Approved-At: Mon, 30 Mar 2015 21:23:09 +0200 X-BeenThere: python-list@python.org X-Mailman-Version: 2.1.19 Precedence: list List-Id: General discussion list for the Python programming language List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Newsgroups: comp.lang.python Message-ID: Lines: 57 NNTP-Posting-Host: 2001:888:2000:d::a6 X-Trace: 1427743391 news.xs4all.nl 2893 [2001:888:2000:d::a6]:60402 X-Complaints-To: abuse@xs4all.nl Xref: csiph.com comp.lang.python:88342 --047d7b5d3972cf87ec051285e161 Content-Type: text/plain; charset=UTF-8 Hypothesis is a Python library for turning unit tests into generative tests, covering a far wider range of cases than you can manually. Rather than just testing for the things you already know about, Hypothesis goes out and actively hunts for bugs in your code. It usually finds them, and when it does it gives you simple and easy to read examples to demonstrate. Hypothesis is based on Quickcheck ( https://wiki.haskell.org/Introduction_to_QuickCheck2) but is designed to have a naturally Pythonic API and integrate well with Python testing libraries. It's easy to use, extremely solid, and probably more devious than you are at finding edge cases. The 1.0 release of Hypothesis has a stable and well documented public API. It's more than ready for you to use and it's easy to get started. Full documentation is available at http://hypothesis.readthedocs.org/en/latest/, or if you prefer you can skip straight to the quick start guide: http://hypothesis.readthedocs.org/en/latest/quickstart.html --047d7b5d3972cf87ec051285e161 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hypothesis is a Python library for = turning unit tests into generative tests, covering a far wider range of cases than you can manually. Rather than just testing for the = things you already know about, Hypothesis goes out and activel= y hunts for bugs in your code. It usually finds them, and w= hen it does it gives you simple and easy to read examples to demonstrate.

Hypothesis is base= d on Quickcheck (https://wiki.haskell.= org/Introduction_to_QuickCheck2) but is designed to have a= naturally Pythonic API and integrate well with Python testing= libraries.

It's easy to use, ext= remely solid, and probably more devious than you are at finding edge cases.

The 1.0 release of Hypothesis has a stable and well documented public API.=20 It's more than ready for you to use and it's easy to get started.

Full documentation is available at http://hypothesis.readthedocs.org/en/latest/, = or if you prefer you can skip straight to the quick start guide: http://hypothesis.readthedocs.org/en/latest/quickstart.ht= ml
--047d7b5d3972cf87ec051285e161--