<gh_stars>1-10
"""Provide a corpus of programs annotated with contracts with no obvious bugs."""

# Please don't forget to sync up with setup.py!
__version__ = "2021.7.10rc1"
__author__ = "<NAME>, <NAME>, <NAME>"
__copyright__ = "Copyright 2021 <NAME>, <NAME>, <NAME>"
__license__ = "License :: OSI Approved :: MIT License"
__status__ = "Production/Stable"

"""Provide a corpus of programs annotated with contracts with no obvious bugs."""

# Please don't forget to sync up with setup.py!
__version__ = "2021.7.10rc1"
__author__ = "<NAME>, <NAME>, <NAME>"
__copyright__ = "Copyright 2021 <NAME>, <NAME>, <NAME>"
__license__ = "License :: OSI Approved :: MIT License"
__status__ = "Production/Stable"
Provide a corpus of programs annotated with contracts with no obvious bugs. # Please don't forget to sync up with setup.py!