-
-
Notifications
You must be signed in to change notification settings - Fork 382
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Export to JSON #42
Comments
Something I would like to see for the JSON export (probably not for the CSV export) is a list of all measured times. These could be listed in addition to the statistical properties. What do you think? (this is something we can also add at a later stage, let's focus on #41 first) |
Sure, that can also be added on once the generic export mechanisms are hammered out. Since we're using serde, there may actually be some facility to ignore a field or set of fields for a given export type. |
A small Python script that can be used to plot benchmark results that have been exported to JSON: https://gist.github.com/sharkdp/e1712590690aa95df65f5a73751d33a9 |
This covers exporting results to JSON as outlined in #38 and extends on the work done on #41.
The same format of --export-xxx should be used (in this case --export-json) with a filename parameter following. It should exist peacefully with simultaneous usage of --export-csv and multiple instances of both.
The text was updated successfully, but these errors were encountered: