[2f5b42]: Test / CanNotProve / CanNotProve.tst2 Maximize Restore History

Download this file

CanNotProve.tst2    18 lines (12 with data), 283 Bytes

# CanNotProve.tst2

r"""

    >>> from CanNotProve import test
    >>> test.__loader__         # doctest: +ELLIPSIS
    <zipimporter ...>
    >>> test.dotests()

"""

def test():
    import sys
    import doctest
    sys.exit(doctest.testmod()[0])

if __name__ == "__main__": test()