diff options
| -rwxr-xr-x | tools/isolate/trace_test_cases.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/isolate/trace_test_cases.py b/tools/isolate/trace_test_cases.py index e1bdc83..ab9e99c 100755 --- a/tools/isolate/trace_test_cases.py +++ b/tools/isolate/trace_test_cases.py @@ -148,7 +148,12 @@ def trace_test_cases( raise finally: with open('%s.test_cases' % executable, 'w') as f: - json.dump(out, f, indent=2, sort_keys=True) + if len(out) > 20: + # Pack it dense since the file is going to be pretty large. + json.dump(out, f, separators=(',',':')) + else: + # Keep it human readable. + json.dump(out, f, indent=2, sort_keys=True) pool.close() pool.join() |