This commit is contained in:
Nikolas
2024-07-05 16:13:57 -07:00
parent 1c8eda6372
commit 36dcb38795

View File

@@ -36,7 +36,7 @@ command = command.rstrip()
scores = []
start_time = current_time_ms()
for i in range(3):
output = subprocess.check_output([command, "1e12", "--quiet", "--time"], text=True)
output = subprocess.check_output([command, "1e12", "--quiet", "--time"], text=True)
SCORE_PATTERN = r'Seconds:\s(\d+\.\d+)'
if "Seconds" in output:
duration = re.match(SCORE_PATTERN, output).group(1)
@@ -58,4 +58,4 @@ report = {
}
with open(os.path.join(log_dir, "report.json"), "w", encoding="utf-8") as report_file:
report_file.write(json.dumps(report))
report_file.write(json.dumps(report))