spec.py 文件源码

def _print_prop_summary(prop, outcome, outfile=sys.stdout):
    name = prop.name
    failed_impl = prop.failed_implications
    depth = outcome.state['depth']
    n = outcome.state['calls']
    if failed_impl:
        outfile.write('After {} call(s) ({} did not meet implication)\n'.format(n, failed_impl))
    else:
        outfile.write('After {} call(s)\n'.format(n))
    outfile.write('To depth {}\n'.format(depth))
    outfile.write('In property `{}`\n'.format(name))
    outfile.write('\n')