(title, metrics, logger=None)
| 16 | |
| 17 | |
| 18 | def print_table(title, metrics, logger=None): |
| 19 | table = Table(title=title) |
| 20 | |
| 21 | table.add_column("Metrics", style="cyan", no_wrap=True) |
| 22 | table.add_column("Value", style="magenta") |
| 23 | |
| 24 | for key, value in metrics.items(): |
| 25 | table.add_row(key, str(value)) |
| 26 | |
| 27 | console = get_console() |
| 28 | console.print(table, justify="center") |
| 29 | |
| 30 | logger.info(metrics) if logger else None |
| 31 | |
| 32 | |
| 33 | def get_metric_statistics(values, replication_times): |