python-by-contract-corpus (pypi): Provide a corpus of programs annotated with contracts with no obvious bugs.
Keywords: design-by-contract|contracts|automatic|testing|corpus