Skip to content
Snippets Groups Projects
user avatar
akuesters authored
Wraps the `meter_manager` with
- the constructor
- `start(ctx)`
- `checkpoint(name, ctx)`
- `checkpoint_names`
- `times`

and the `meter_report` with
- `make_meter_report(meter_manager, ctx)`

Fixes #765
92620aa3
Name Last commit Last update