This repository was archived by the owner on Jul 27, 2022. It is now read-only.
This repository was archived by the owner on Jul 27, 2022. It is now read-only.
Handling very large traces #1177
Description
When dumping very large traces, it would be useful to implement a simple string dictionnary at the beginning of the json file, and every named event would reference a string in the dictionnary, maybe by index. This would greatly reduce the size of the json file.