Metadata-Version: 2.1
Name: python-by-contract-corpus
Version: 2021.7.10rc1
Summary: Provide a corpus of programs annotated with contracts with no obvious bugs.
Home-page: https://github.com/mristin/python-by-contract-corpus
Author: Lauren De bruyn, Marko Ristin, Phillip Schanely
Author-email: marko@ristin.ch
License: License :: OSI Approved :: MIT License
Description: *************************
        Python-by-Contract Corpus
        *************************
        
        .. image:: https://github.com/mristin/python-by-contract-corpus/workflows/CI/badge.svg
            :target: https://github.com/mristin/python-by-contract-corpus/actions?query=workflow%3ACI
            :alt: Continuous integration
        
        .. image:: https://coveralls.io/repos/github/mristin/python-by-contract-corpus/badge.svg?branch=main
            :target: https://coveralls.io/github/mristin/python-by-contract-corpus?branch=main
            :alt: Test coverage
        
        .. image:: https://readthedocs.org/projects/python-by-contract-corpus/badge/?version=latest&style=plastic
            :target: https://python-by-contract-corpus.readthedocs.io/en/latest/
            :alt: Documentation
        
        We present here a corpus of Python programs annotated with `contracts`_.
        
        The corpus includes:
        
        * Solutions to the exercises of the `Advent of Code 2020`_, and
        * Solutions to the exercises used during the lecture `"Introduction to Programming"`_ at ETH Zurich (Switzerland) in Fall 2019.
        
        .. _contracts: https://en.wikipedia.org/wiki/Design_by_contract
        .. _Advent of Code 2020: https://adventofcode.com/2020
        .. _"Introduction to Programming": https://www.lst.inf.ethz.ch/education/archive/Fall2019/einfuehrung-in-die-programmierung-i--252-0027-.html
        
        Please see the full documentation at: https://python-by-contract-corpus.readthedocs.io/en/latest/
        
Keywords: design-by-contract contracts automatic testing corpus
Platform: UNKNOWN
Classifier: Development Status :: 5 - Production/Stable
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3.8
Provides-Extra: dev
