Better number formatting

master
Mark 2022-10-28 20:43:00 -07:00
parent 4847f0a9a4
commit 602bf52983
Signed by: Mark
GPG Key ID: AD62BB059C2AAEE4
1 changed files with 2 additions and 2 deletions

View File

@ -149,10 +149,10 @@ class Runner:
stop_reason.value, stop_reason.value,
("class:result_header", f"\nMacro expansions: "), ("class:result_header", f"\nMacro expansions: "),
("class:text", str(macro_expansions)), ("class:text", f"{macro_expansions:,}"),
("class:result_header", f"\nReductions: "), ("class:result_header", f"\nReductions: "),
("class:text", f"{i} "), ("class:text", f"{i:,} "),
("class:muted", f"(Limit: {self.reduction_limit:,})") ("class:muted", f"(Limit: {self.reduction_limit:,})")
] ]