{ "info": { "author": "Kazuhiro Matsushima", "author_email": "the25thcromosome@gmail.com", "bugtrack_url": null, "classifiers": [ "Development Status :: 4 - Beta", "Intended Audience :: Developers", "License :: OSI Approved :: MIT License", "Programming Language :: Python", "Programming Language :: Python :: 3.3", "Programming Language :: Python :: 3.4", "Programming Language :: Python :: 3.5", "Topic :: Software Development :: Libraries", "Topic :: Software Development :: Testing", "Topic :: Utilities" ], "description": "Papylon\n=======\n\nPapylon is a Python library for random testing of program properties.\n\nExample\n-------\n\nWe can write a simple property with Python code:\n\n.. code-block:: python\n\n from papylon.prop import for_all\n from papylon.arbitrary import arb_list, arb_int\n from papylon.checker import check\n\n # reversed and reversed list is the same of the original list\n p1 = for_all([arb_list(arb_int(), max_length=20)],\n lambda x: list(reversed(list(reversed(x)))) == x)\n check(p1)\n\nWhen we run the script above, we can see the result as following:\n\n.. code-block:: text\n\n OK, passed 100 tests.\n\nIf a property failed, Papylon reports which arbitrary(s) made it failed:\n\n.. code-block:: python\n\n import math\n\n p2 = for_all([arb_int()], lambda n: math.sqrt(n*n) == n)\n check(p2)\n\n.. code-block:: text\n\n Falsified after 2 tests (31 shrinks):\n > [-1]\n\nBuild status\n------------\n\n.. image:: https://travis-ci.org/Gab-km/papylon.svg\n :target: https://travis-ci.org/Gab-km/papylon\n\n\nChanges\n=======\n\n0.6 (2015-11-23)\n----------------\n\n* add ``check_and_assert`` function into ``papylon.checker`` module\n* add ``Properties`` class into ``papylon.prop`` module\n* add ``check_all`` function into ``papylon.checker`` module\n* modify ``papylon.gen`` module to use generator\n\n0.5 (2015-01-16)\n----------------\n\n* implement the shrinking system\n* add ``from_gen_shrink`` function into ``papylon.arbitrary`` module\n\n0.4 (2014-12-23)\n----------------\n\n* add ``such_that`` method into ``papylon.gen.Gen`` class\n* add ``constant`` function into ``papylon.gen`` module\n* support ``.whl`` files instead of ``.egg`` files in packaging\n\n0.3 (2014-12-13)\n----------------\n\n* modify ``ArbFloat`` to use the format of IEEE 754\n* add ``ArbDate``, ``arb_date`` and ``from_gen`` into ``papylon.arbitrary`` module\n\n0.2 (2014-11-30)\n----------------\n\n* add ``one_of``, ``choose``, ``frequency`` and ``map`` functions into ``papylon.gen`` module\n* add ``ArbStr`` and ``arb_str`` into ``papylon.arbitrary`` module\n\n0.1 (2014-11-25)\n----------------\n\n* first release", "description_content_type": null, "docs_url": null, "download_url": "", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "https://github.com/Gab-km/papylon", "keywords": "papylon quickcheck random test", "license": "The MIT License (MIT)", "maintainer": "", "maintainer_email": "", "name": "papylon", "package_url": "https://pypi.org/project/papylon/", "platform": "UNKNOWN", "project_url": "https://pypi.org/project/papylon/", "project_urls": { "Homepage": "https://github.com/Gab-km/papylon" }, "release_url": "https://pypi.org/project/papylon/0.6.1/", "requires_dist": [ "setuptools" ], "requires_python": "", "summary": "Random testing for Python", "version": "0.6.1" }, "last_serial": 1828697, "releases": { "0.1.0": [ { "comment_text": "", "digests": { "md5": "d9cea93dae6323905627c6ff9b951459", "sha256": "e4ecb11a693db3a41fb090072ccd09398ec3ee3ae38c4109b8a5f591f16dffd3" }, "downloads": -1, "filename": "papylon-0.1.0-py3.4.egg", "has_sig": false, "md5_digest": "d9cea93dae6323905627c6ff9b951459", "packagetype": "bdist_egg", "python_version": "3.4", "requires_python": null, "size": 9658, "upload_time": "2014-11-24T22:22:04", "url": "https://files.pythonhosted.org/packages/b7/40/d4b43ff686f4e29a988630f765b19290500dc20c05d3fe078e18662c5e45/papylon-0.1.0-py3.4.egg" }, { "comment_text": "built for Windows-7", "digests": { "md5": "2843a3b964a679c060191ad9fb94eff9", "sha256": "ceb013210f84903186d18a80b6546deb066e2a44aa69eef755cde7223b3494a6" }, "downloads": -1, "filename": "papylon-0.1.0.win32.zip", "has_sig": false, "md5_digest": "2843a3b964a679c060191ad9fb94eff9", "packagetype": "bdist_dumb", "python_version": "any", "requires_python": null, "size": 11749, "upload_time": "2014-11-24T22:22:01", "url": "https://files.pythonhosted.org/packages/27/09/c4bc84877887895e14d4d09ee0f0cded2ca1728c8bafc1372194e18e4f88/papylon-0.1.0.win32.zip" }, { "comment_text": "", "digests": { "md5": "0d5eee7d1b6fea69f2794785f24284d8", "sha256": "1f20bc397b13bd063d52c5a69f090a34c6b9c70ce2cbb973f3824bf98db28086" }, "downloads": -1, "filename": "papylon-0.1.0.zip", "has_sig": false, "md5_digest": "0d5eee7d1b6fea69f2794785f24284d8", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 7063, "upload_time": "2014-11-24T22:21:58", "url": "https://files.pythonhosted.org/packages/92/be/4d26e761d85418946f8933268bc99a3d53c47b7da4ae8e99092a6b6712e9/papylon-0.1.0.zip" } ], "0.1.1": [ { "comment_text": "", "digests": { "md5": "e8800597af531ab39e64d983406cc00e", "sha256": "112c35f6db7802ff0682b6ea4268e97a454d73691cbf0e4cd135694701d48338" }, "downloads": -1, "filename": "papylon-0.1.1-py3.4.egg", "has_sig": false, "md5_digest": "e8800597af531ab39e64d983406cc00e", "packagetype": "bdist_egg", "python_version": "3.4", "requires_python": null, "size": 9658, "upload_time": "2014-11-24T22:23:30", "url": "https://files.pythonhosted.org/packages/ad/8e/ae1c07bae938fe2869eaec6857e6982ac557160b453029463f3f4c986459/papylon-0.1.1-py3.4.egg" }, { "comment_text": "built for Windows-7", "digests": { "md5": "352d05eaf8024dfdbab8425a53035ee9", "sha256": "3c728b410fe23f89c20a3e5926e18140a29575a79ae3cbfb99ab135258e32c02" }, "downloads": -1, "filename": "papylon-0.1.1.win32.zip", "has_sig": false, "md5_digest": "352d05eaf8024dfdbab8425a53035ee9", "packagetype": "bdist_dumb", "python_version": "any", "requires_python": null, "size": 11749, "upload_time": "2014-11-24T22:23:26", "url": "https://files.pythonhosted.org/packages/1b/51/8d389c44615c83fc3da4cc948ded49cf0cff747bd58f31c0e999eddeaad5/papylon-0.1.1.win32.zip" }, { "comment_text": "", "digests": { "md5": "36a92e0bb29ec94210caff680a8dfdad", "sha256": "648aa3271877bc49423c1ef2871f2dc91dd54f758bafb92f609cec5f4bce274e" }, "downloads": -1, "filename": "papylon-0.1.1.zip", "has_sig": false, "md5_digest": "36a92e0bb29ec94210caff680a8dfdad", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 7042, "upload_time": "2014-11-24T22:23:23", "url": "https://files.pythonhosted.org/packages/ec/e2/eeed3912a51adf0170d988e56794e38b0c393bdee5a06eb69726df069cb3/papylon-0.1.1.zip" } ], "0.2": [ { "comment_text": "", "digests": { "md5": "84a7f1a171591c5b124d271bfc8157b2", "sha256": "221cdce28a670cf003021574b2c159c7670c9fd41e5754e76e64f8f411045e63" }, "downloads": -1, "filename": "papylon-0.2-py3.4.egg", "has_sig": false, "md5_digest": "84a7f1a171591c5b124d271bfc8157b2", "packagetype": "bdist_egg", "python_version": "3.4", "requires_python": null, "size": 11279, "upload_time": "2014-11-29T23:31:33", "url": "https://files.pythonhosted.org/packages/f8/74/c84738557e30057711061d15eadc65acdafbaeef7627446621b8927454d7/papylon-0.2-py3.4.egg" }, { "comment_text": "built for Windows-7", "digests": { "md5": "cfa62249fa8c607853fdb1ebfeb17009", "sha256": "6717582171d2ee3999331e4534365b4c38a51f121b38109c473e39af96a0dad9" }, "downloads": -1, "filename": "papylon-0.2.win32.zip", "has_sig": false, "md5_digest": "cfa62249fa8c607853fdb1ebfeb17009", "packagetype": "bdist_dumb", "python_version": "any", "requires_python": null, "size": 12296, "upload_time": "2014-11-29T23:31:27", "url": "https://files.pythonhosted.org/packages/90/7d/ad93691b5fea458fd47b0075e56c3698dc0c89dc1310b1d5e0a09b7bb3ca/papylon-0.2.win32.zip" }, { "comment_text": "", "digests": { "md5": "e3492f94d71ac2c25563a7b834b9c4cc", "sha256": "f5d1d40f8bd7ce9ed117489bf64ad1381a04b2a2b0ae731ee167ac4ae5fb57e5" }, "downloads": -1, "filename": "papylon-0.2.zip", "has_sig": false, "md5_digest": "e3492f94d71ac2c25563a7b834b9c4cc", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 7954, "upload_time": "2014-11-29T23:31:22", "url": "https://files.pythonhosted.org/packages/b9/cc/5c0e8f678d3af45ca0214a138d6a5e734600c2691cd61367ee1033a2ac0b/papylon-0.2.zip" } ], "0.2.1": [ { "comment_text": "", "digests": { "md5": "752120993e9aea88f45d0f823572952b", "sha256": "deeacd1c75b6c772b5de2faee99ab2822ea1e55629cd4b10b65e50175b9409ba" }, "downloads": -1, "filename": "papylon-0.2.1-py3.4.egg", "has_sig": false, "md5_digest": "752120993e9aea88f45d0f823572952b", "packagetype": "bdist_egg", "python_version": "3.4", "requires_python": null, "size": 11579, "upload_time": "2014-11-30T01:21:25", "url": "https://files.pythonhosted.org/packages/c7/da/e368734917b621d814f7302a1965a827a66ab10bacbe9b0722a14f7b0223/papylon-0.2.1-py3.4.egg" }, { "comment_text": "built for Windows-7", "digests": { "md5": "8cc6ad35a1dcb4a3e19c67bef215f822", "sha256": "a5989a00769dfd8eeb0c46c64a7c5b21eeaf9df5fdbbe421a6f56500ffc50049" }, "downloads": -1, "filename": "papylon-0.2.1.win32.zip", "has_sig": false, "md5_digest": "8cc6ad35a1dcb4a3e19c67bef215f822", "packagetype": "bdist_dumb", "python_version": "any", "requires_python": null, "size": 13669, "upload_time": "2014-11-30T01:21:20", "url": "https://files.pythonhosted.org/packages/88/e6/fcf15af72327a466ef2ba70f63c33505fa9fd581db3edfda220b504bf4e5/papylon-0.2.1.win32.zip" }, { "comment_text": "", "digests": { "md5": "afddfe233180d8a9e06f9b587371482d", "sha256": "0e1d68cbf12d36aeef63e8f7e7072927ae8984f6de9b532598864c343a3cb2bc" }, "downloads": -1, "filename": "papylon-0.2.1.zip", "has_sig": false, "md5_digest": "afddfe233180d8a9e06f9b587371482d", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 8062, "upload_time": "2014-11-30T01:21:16", "url": "https://files.pythonhosted.org/packages/da/3b/afd1ca74951d53b7cfd7e489ce9c6de344f8ddec3cc3ad97f02723186314/papylon-0.2.1.zip" } ], "0.3": [ { "comment_text": "", "digests": { "md5": "6ecb7d3f2d057cc9cccae1134f128c16", "sha256": "d495422ab534f95f822c0bd5ba662432f7749b6b3495fb8f704136c446c95172" }, "downloads": -1, "filename": "papylon-0.3-py3.4.egg", "has_sig": false, "md5_digest": "6ecb7d3f2d057cc9cccae1134f128c16", "packagetype": "bdist_egg", "python_version": "3.4", "requires_python": null, "size": 12994, "upload_time": "2014-12-12T22:50:54", "url": "https://files.pythonhosted.org/packages/1e/47/e2043b7f421fbd84cf72f0d36a6a045123d86e6e17901b4fcb1149cae0ab/papylon-0.3-py3.4.egg" }, { "comment_text": "built for Windows-7", "digests": { "md5": "c0fee8da855012b43a735784a3800d41", "sha256": "9604f07e1b8a9025fdba51ee6ac427a86457b09c185ee263cbe2998890d506d3" }, "downloads": -1, "filename": "papylon-0.3.win32.zip", "has_sig": false, "md5_digest": "c0fee8da855012b43a735784a3800d41", "packagetype": "bdist_dumb", "python_version": "any", "requires_python": null, "size": 15063, "upload_time": "2014-12-12T22:50:49", "url": "https://files.pythonhosted.org/packages/46/3a/e486c9968a910b99ff204387b4d53a982b73c5f3f45743da9ccb3da16bad/papylon-0.3.win32.zip" }, { "comment_text": "", "digests": { "md5": "8917cc32583b3b2fe520a718845a56df", "sha256": "4089dd06d7003de60e4da0554c4feec8e32fb407029814fb7cc08193e36fc039" }, "downloads": -1, "filename": "papylon-0.3.zip", "has_sig": false, "md5_digest": "8917cc32583b3b2fe520a718845a56df", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 8620, "upload_time": "2014-12-12T22:50:44", "url": "https://files.pythonhosted.org/packages/b9/c8/b1d51e594adc02623340c52c4f48dd8ceb79410b501dce33f33da7b88134/papylon-0.3.zip" } ], "0.4": [ { "comment_text": "", "digests": { "md5": "f94b6c9208e8ce53e6365abc42df7a4c", "sha256": "273595eab9eb2efc0495d70542665ae28242e2ca7f624bebb59b53b1928e72e1" }, "downloads": -1, "filename": "papylon-0.4-py3-none-any.whl", "has_sig": false, "md5_digest": "f94b6c9208e8ce53e6365abc42df7a4c", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 8100, "upload_time": "2015-11-23T00:34:16", "url": "https://files.pythonhosted.org/packages/1e/ae/a47a7804a9a56ebe8dc4eeee9a2cdf087b85e4efc57417790ee6bf4f3224/papylon-0.4-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "4868662df1e6932d292efd8306e7c63f", "sha256": "63aa0bd6ed8e84ce27f5e0e174149075288dfb0d79bf582c97f559be91035ad4" }, "downloads": -1, "filename": "papylon-0.4.zip", "has_sig": false, "md5_digest": "4868662df1e6932d292efd8306e7c63f", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 9249, "upload_time": "2014-12-22T22:05:51", "url": "https://files.pythonhosted.org/packages/32/6b/9b3d142bdc254b2f41138b7d847c3f3c947981b56e9d487677d4bdb38443/papylon-0.4.zip" } ], "0.4.1": [ { "comment_text": "", "digests": { "md5": "3a749746282239faa3e3685fb10c576f", "sha256": "83cd070cef657af0abe8789456fad78d03a9116fb15398d4590282e0214de30c" }, "downloads": -1, "filename": "papylon-0.4.1-py3-none-any.whl", "has_sig": false, "md5_digest": "3a749746282239faa3e3685fb10c576f", "packagetype": "bdist_wheel", "python_version": "3.4", "requires_python": null, "size": 8130, "upload_time": "2014-12-22T22:07:29", "url": "https://files.pythonhosted.org/packages/2d/10/095898b8753bf028196917b60aad8f5160604c2ad465e38a9c7a7d063736/papylon-0.4.1-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "7a1b1ef959239809b43e96d784f79e26", "sha256": "c4b2f43fc7953a60bbe135b44fd9b432abd0ca5035a402339c0e0950787145a9" }, "downloads": -1, "filename": "papylon-0.4.1.zip", "has_sig": false, "md5_digest": "7a1b1ef959239809b43e96d784f79e26", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 9307, "upload_time": "2014-12-22T22:07:24", "url": "https://files.pythonhosted.org/packages/bb/80/8ef85cda8a9be7254e9d265ecda7b485e3a2aca6f4d8f377a82a44039843/papylon-0.4.1.zip" } ], "0.5": [ { "comment_text": "", "digests": { "md5": "366ae7849faa973b3e3d8c89030efcb0", "sha256": "6fdec51895d09da67c3c966fcd6f365514a8bbe651fc867571658f3b010a6705" }, "downloads": -1, "filename": "papylon-0.5-py3-none-any.whl", "has_sig": false, "md5_digest": "366ae7849faa973b3e3d8c89030efcb0", "packagetype": "bdist_wheel", "python_version": "3.4", "requires_python": null, "size": 9896, "upload_time": "2015-01-15T22:09:06", "url": "https://files.pythonhosted.org/packages/71/d8/f724489796d92043f3f18a3d0ace8fd8d9d4693dacb44c499563e0d039cd/papylon-0.5-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "3a0d47c2539b74afb2aa95cfdd7aa6a8", "sha256": "b753d362fe7878effc38d138a83c30205bb8f94a65f125927d58ed642c0e3cb1" }, "downloads": -1, "filename": "papylon-0.5.zip", "has_sig": false, "md5_digest": "3a0d47c2539b74afb2aa95cfdd7aa6a8", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 11000, "upload_time": "2015-01-15T22:09:03", "url": "https://files.pythonhosted.org/packages/89/86/be0e7c4d374090030e4a73a776613b47216a23b711373de44b494e2a7121/papylon-0.5.zip" } ], "0.6": [ { "comment_text": "", "digests": { "md5": "51a5bdc7e2cdff053a67577c01525440", "sha256": "db1773450678bb61c111ef450c30404b1a216abed36b5c23410fea582c279fe8" }, "downloads": -1, "filename": "papylon-0.6-py3-none-any.whl", "has_sig": false, "md5_digest": "51a5bdc7e2cdff053a67577c01525440", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 18435, "upload_time": "2015-11-23T00:34:51", "url": "https://files.pythonhosted.org/packages/c6/df/73e4c0f08a3d4812597c5638d69c1d96a59b11fd8cd9a3f07dad78ff977b/papylon-0.6-py3-none-any.whl" } ], "0.6.1": [ { "comment_text": "", "digests": { "md5": "1c7242b4018d65ed036f9a78bd2324f6", "sha256": "afdc59b2b2001661a72f35998a2fc70e40a82360d6490c7655b6e582c944742b" }, "downloads": -1, "filename": "papylon-0.6.1-py3-none-any.whl", "has_sig": false, "md5_digest": "1c7242b4018d65ed036f9a78bd2324f6", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 18582, "upload_time": "2015-11-23T00:41:48", "url": "https://files.pythonhosted.org/packages/92/55/aa57bf1317ccaa73711a938bc10c42a87c760a275688d1f72aa4af252b9c/papylon-0.6.1-py3-none-any.whl" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "1c7242b4018d65ed036f9a78bd2324f6", "sha256": "afdc59b2b2001661a72f35998a2fc70e40a82360d6490c7655b6e582c944742b" }, "downloads": -1, "filename": "papylon-0.6.1-py3-none-any.whl", "has_sig": false, "md5_digest": "1c7242b4018d65ed036f9a78bd2324f6", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": null, "size": 18582, "upload_time": "2015-11-23T00:41:48", "url": "https://files.pythonhosted.org/packages/92/55/aa57bf1317ccaa73711a938bc10c42a87c760a275688d1f72aa4af252b9c/papylon-0.6.1-py3-none-any.whl" } ] }