def set_up_logging()

in template-for-repository/proofs/run-cbmc-proofs.py [0:0]


def set_up_logging(verbose):
    if verbose:
        level = logging.DEBUG
    else:
        level = logging.WARNING
    logging.basicConfig(
        format="run-cbmc-proofs: %(message)s", level=level)