script: Fix json format

dtcxzyw · Sep 18, 2024 · b231250 · b231250
1 parent 00adc98
commit b231250
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/gen_optimized.py b/scripts/gen_optimized.py
@@ -99,6 +99,6 @@ def run_opt(task):
             for k,v in comptime_res:
                 f.write(f'{k} {v}\n')
         with open(comptime+'.stats', 'w') as f:
-            json.dump(stats_acc, f)
+            json.dump(stats_acc, f, indent = 2)
 
     exit(1 if fail else 0)