Metadata-Version: 1.1
Name: papylon
Version: 0.1.0
Summary: Papylon is a Python library for random testing of program properties.
Home-page: https://github.com/Gab-km/papylon
Author: Kazuhiro Matsushima
Author-email: the25thcromosome@gmail.com
License: The MIT License (MIT)
Description: Papylon
        =======
        
        Papylon is a Python library for random testing of program properties.
        
        Example
        -------
        
        We can write a simple property with Python code:
        
        .. code-block:: python
        
          from papylon.prop import for_all
          from papylon.arbitrary import arb_list, arb_int
          from papylon.checker import check
        
          # reversed and reversed list is the same of the original list
          p1 = for_all([arb_list(arb_int(), max_length=20)], lambda x: list(reversed(list(reversed(x)))) == x)
          check(p1)
        
        When we run the script above, we can see the result as following:
        
        .. code-block:: text
        
          OK, passed 100 tests.
        
        If a property failed, Papylon reports which arbitrary(s) made it failed:
        
        .. code-block:: python
        
          from papylon.arbitrary import arb_float
        
          p2 = for_all([arb_float(), arb_float()], lambda x, y: x - y == y - x)
          check(p2)
        
        .. code-block:: text
        
          Falsified after 1 tests.
          > [950620953.3142085, 4571184.136292458]
        
Keywords: papylon quickcheck random test
Platform: UNKNOWN
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3.3
Classifier: Programming Language :: Python :: 3.4
Classifier: Topic :: Software Development :: Libraries
Classifier: Topic :: Software Development :: Testing
Classifier: Topic :: Utilities
