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
Computing file changes ...