Function format_time

code/main_TextBP_benchmark.py:36–42

Takes a time in seconds and returns a string hh:mm:ss

(elapsed)

def format_time(elapsed):
    '''
    Takes a time in seconds and returns a string hh:mm:ss
    '''
    elapsed_rounded = int(round((elapsed)))

    return str(datetime.timedelta(seconds=elapsed_rounded))


def get_logger(output_dir):