Revision 6ce32902720bacfc81cf7fd94fe95c927bb29daf authored by Diana Savatina on 22 March 2024, 15:51:59 UTC, committed by Diana Savatina on 27 March 2024, 14:16:04 UTC
- txt, json or both can be selected for output
- json output contains readiable timestamps
- max range is configurable to be used for aggregated data
Example:
export PROFILING=yes:txt_and_json:1000:$HOME/Documents/features/reduce_blocktime/local
{ "aggregated": [],
"recorded":
[ { "name": "initialization",
"start": { "wall": "2024-03-20T15:42:38.623-00:00", "cpu": 0.289436 },
"duration": { "wall": 0.0199749, "cpu": 0.009858 },
> dune exec src/lib_base/unix/test/main.exe --
--file test_simple_profiler.ml
TEST: test_parse_profiling_config
config : {} my_dir
expected : {no_lod}
empty : {no_lod}
config : {YES:txt:999:/my/path/here} my_dir
expected : {terse txt 999 /my/path/here}
full : {terse txt 999 /my/path/here}
1 parent 04e5744
| File | Mode | Size |
|---|---|---|
| ai-simulator | ||
| lib_mir | ||
| mir | ||
| octez_injector_server | ||
| README.md | -rw-r--r-- | 686 bytes |
Computing file changes ...
